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