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