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