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

Diff of /types/types.mli

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

revision 28 by abate, Tue Jul 10 16:59:08 2007 UTC revision 29 by abate, Tue Jul 10 16:59:19 2007 UTC
# Line 151  Line 151 
151    val has_atom : descr -> atom -> bool    val has_atom : descr -> atom -> bool
152  end  end
153    
154  val normalize : node -> node  val normalize : descr -> descr
155    
156  (** Subtyping and sample values **)  (** Subtyping and sample values **)
157    
Legend:
Removed from v.28  
changed lines
  Added in v.29
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5