type elt = int
type t = Fcl_domain.t
val empty : t
val create : elt list -> t
val unsafe_create : elt list -> t
val interval : elt -> elt -> t
val int : t
val boolean : t
val is_empty : t -> bool
val size : t -> elt
val min : t -> elt
val max : t -> elt
val min_max : t -> elt * elt
val iter : (elt -> unit) -> t -> unit
val interval_iter : (elt -> elt -> unit) -> t -> unit
val mem : elt -> t -> bool
val member : elt -> t -> bool
val values : t -> elt list
val fprint_elt : out_channel -> elt -> unit
val fprint : out_channel -> t -> unit
val sprint : t -> string
val included : t -> t -> bool
val smallest_geq : t -> elt -> elt
val greatest_leq : t -> elt -> elt
val largest_hole_around : t -> elt -> elt * elt
val choose : (elt -> elt -> bool) -> t -> elt
val add : elt -> t -> t
val remove : elt -> t -> t
val remove_up : elt -> t -> t
val remove_low : elt -> t -> t
val remove_low_up : elt -> elt -> t -> t
val remove_closed_inter : elt -> elt -> t -> t
val remove_min : t -> t
val remove_max : t -> t
val intersection : t -> t -> t
val union : t -> t -> t
val difference : t -> t -> t
val diff : t -> t -> t
val minus : t -> t
val plus : t -> elt -> t
val times : t -> elt -> t
val compare : t -> t -> elt
val compare_elt : elt -> elt -> elt
val disjoint : t -> t -> bool
val strictly_inf : elt -> elt -> bool