sig
type t
type domain
type elt
type event
val dom : Facile.Var.ATTR.t -> Facile.Var.ATTR.domain
val on_refine : Facile.Var.ATTR.event
val on_subst : Facile.Var.ATTR.event
val on_min : Facile.Var.ATTR.event
val on_max : Facile.Var.ATTR.event
val fprint : Pervasives.out_channel -> Facile.Var.ATTR.t -> unit
val min : Facile.Var.ATTR.t -> Facile.Var.ATTR.elt
val max : Facile.Var.ATTR.t -> Facile.Var.ATTR.elt
val member : Facile.Var.ATTR.t -> Facile.Var.ATTR.elt -> bool
val id : Facile.Var.ATTR.t -> int
val constraints_number : Facile.Var.ATTR.t -> int
val size : Facile.Var.ATTR.t -> int
end