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