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