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