/[svn]/types/types.mli
ViewVC logotype

Diff of /types/types.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 271 by abate, Tue Jul 10 17:21:17 2007 UTC revision 276 by abate, Tue Jul 10 17:21:39 2007 UTC
# Line 6  Line 6 
6    
7  val compare_const: const -> const -> int  val compare_const: const -> const -> int
8  val hash_const: const -> int  val hash_const: const -> int
9    val equal_const: const -> const -> bool
10    
11  (** Algebra **)  (** Algebra **)
12    
Legend:
Removed from v.271  
changed lines
  Added in v.276
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5