Module Facile.Var.SetAttr

module SetAttr: ATTR  with type domain = SetDomain.t and type elt = SetDomain.S.t

type t 

type domain 

type elt 

type event 

val dom : t -> domain

val on_refine : event

val on_subst : event

val on_min : event

val on_max : event

val fprint : Pervasives.out_channel -> t -> unit

val min : t -> elt

val max : t -> elt

val member : t -> elt -> bool

val id : t -> int

val constraints_number : t -> int

val size : t -> int