/[svn]/cduce/trunk/types/chars.mli
ViewVC logotype

Diff of /cduce/trunk/types/chars.mli

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

revision 390 by abate, Tue Jul 10 17:28:25 2007 UTC revision 391 by abate, Tue Jul 10 17:31:11 2007 UTC
# Line 21  Line 21 
21  val diff  : t -> t -> t  val diff  : t -> t -> t
22  val char_class  : v -> v -> t  val char_class  : v -> v -> t
23  val atom  : v -> t  val atom  : v -> t
24    val mk_classes : (int * int) list -> t
25    
26  val disjoint : t -> t -> bool  val disjoint : t -> t -> bool
27  val is_empty : t -> bool  val is_empty : t -> bool

Legend:
Removed from v.390  
changed lines
  Added in v.391

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5