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