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