sig
  type t
  exception Bad
  val empty : Inria_cset.t
  val is_empty : Inria_cset.t -> bool
  val all_chars : Inria_cset.t
  val all_chars_eof : Inria_cset.t
  val eof : Inria_cset.t
  val singleton : int -> Inria_cset.t
  val interval : int -> int -> Inria_cset.t
  val union : Inria_cset.t -> Inria_cset.t -> Inria_cset.t
  val inter : Inria_cset.t -> Inria_cset.t -> Inria_cset.t
  val diff : Inria_cset.t -> Inria_cset.t -> Inria_cset.t
  val complement : Inria_cset.t -> Inria_cset.t
  val env_to_array : (Inria_cset.t * 'a) list -> 'a array
  val string_of_characters : Inria_cset.t -> string
end