/[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 17 by abate, Tue Jul 10 16:57:42 2007 UTC revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC
# Line 10  Line 10 
10  type t = (Unichar.t * Unichar.t) list  type t = (Unichar.t * Unichar.t) list
11    
12  val empty : t  val empty : t
13  val full  : t  val any   : t
14  val cup   : t -> t -> t  val cup   : t -> t -> t
15  val cap   : t -> t -> t  val cap   : t -> t -> t
16  val diff  : t -> t -> t  val diff  : t -> t -> t
Legend:
Removed from v.17  
changed lines
  Added in v.18
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5