Parent Directory
|
Revision Log
|
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 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |