(***********************************************************************)
(*                                                                     *)
(*                           Objective Caml                            *)
(*                                                                     *)
               ,   projet Cristal ,            
(*                         INRIA Rocquencourt                          *)
(*                                                                     *)
   Copyright 2002 Institut National de Recherche en Informatique et   
   en Automatique .   All rights reserved .   This file is distributed    
   under the terms of the Q Public License version 1.0 .               
(*                                                                     *)
(***********************************************************************)

  $ I d : cset.mli 10268 2010 - 04 - 18 09:02:40Z xleroy $

(* Set of characters encoded as list of intervals *)

type t

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
val interval : int -> int -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val complement : t -> t
val env_to_array : (t * 'a) list -> 'a array

*********************************************************************
                                                                     
                           Objective Caml                            
                                                                     
                         INRIA Rocquencourt                          
                                                                     
                                                                     
*********************************************************************
 Set of characters encoded as list of intervals 
               ,   projet Cristal ,            
   Copyright 2002 Institut National de Recherche en Informatique et   
   en Automatique .   All rights reserved .   This file is distributed    
   under the terms of the Q Public License version 1.0 .               

  $ I d : cset.mli 10268 2010 - 04 - 18 09:02:40Z xleroy $


type t

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
val interval : int -> int -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val complement : t -> t
val env_to_array : (t * 'a) list -> 'a array
