Module Facile.SetDomain

module SetDomain: sig .. end

module S: sig .. end
type elt = S.t 
type t 
val min : t -> elt
val max : t -> elt
val min_max : t -> elt * elt
val mem : elt -> t -> bool
val interval : elt -> elt -> t
val fprint_elt : Pervasives.out_channel -> elt -> unit
val fprint : Pervasives.out_channel -> t -> unit
val included : t -> t -> bool
val iter : (elt -> 'a) -> t -> 'a
val values : t -> elt list
val elt_of_list : int list -> elt