diff options
Diffstat (limited to 'lex/cset.mli')
| -rw-r--r-- | lex/cset.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lex/cset.mli b/lex/cset.mli index 0ebcac0e5f..fc2c9930c3 100644 --- a/lex/cset.mli +++ b/lex/cset.mli @@ -11,13 +11,18 @@ (* *) (***********************************************************************) +(* $Id$ *) + (* Set of characters encoded as list of intervals *) type t +exception Bad val empty : t val is_empty : t -> bool val all_chars : t +exception Bad + val all_chars_eof : t val eof : t val singleton : int -> t |