module S :
  sig
    type t = Fcl_domain.t
    val empty : t
    val is_empty : t -> bool
    val mem : int -> t -> bool
    val add : int -> t -> t
    val singleton : int -> t
    val remove : int -> t -> t
    val union : t -> t -> t
    val inter : t -> t -> t
    val diff : t -> t -> t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val subset : t -> t -> bool
    val iter : (int -> unit) -> t -> unit
    val cardinal : t -> int
    val elements : t -> int list
    val min_elt : t -> int
    val max_elt : t -> int
    val choose : t -> int
    val remove_up : int -> t -> t
    val remove_low : int -> t -> t
  end
type elt = S.t
type t = Fcl_setDomain.t
val elt_of_list : int list -> elt
val interval : elt -> elt -> t
val size : t -> int
val min : t -> elt
val max : t -> elt
val min_max : t -> elt * elt
val fprint_elt : out_channel -> elt -> unit
val fprint : out_channel -> t -> unit
val mem : elt -> t -> bool
val included : t -> t -> bool
val iter : (elt -> 'a) -> t -> 'a
val values : t -> elt list
val intersection : elt -> elt -> elt
val strictly_inf : elt -> elt -> bool
val compare_elt : elt -> elt -> int
val unsafe_interval : elt -> elt -> t
val remove_up : elt -> t -> t
val remove_low : elt -> t -> t