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