1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Luc Maranget, Jerome Vouillon projet Cristal, *)
6 (* INRIA Rocquencourt *)
7 (* *)
8 (* Copyright 2002 Institut National de Recherche en Informatique et *)
9 (* en Automatique. *)
10 (* *)
11 (* All rights reserved. This file is distributed under the terms of *)
12 (* the GNU Lesser General Public License version 2.1, with the *)
13 (* special exception on linking described in the file LICENSE. *)
14 (* *)
15 (**************************************************************************)
16
17 (* Set of characters encoded as list of intervals *)
18
19 type t
20
21 val empty : t
22 val is_empty : t -> bool
23 val all_chars : t
24 exception Bad
25
26 val all_chars_eof : t
27 val eof : t
28 val singleton : int -> t
29 val interval : int -> int -> t
30 val union : t -> t -> t
31 val inter : t -> t -> t
32 val diff : t -> t -> t
33 val complement : t -> t
34 val env_to_array : (t * 'a) list -> 'a array
35