sig   type t   type attr   type domain   type elt   type event   val create : ?name:string -> Fcl_var.BASICFD.domain -> Fcl_var.BASICFD.t   val interval :     ?name:string ->     Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.t   val array :     ?name:string ->     int ->     Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.t array   val elt : Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.t   val is_var : Fcl_var.BASICFD.t -> bool   val is_bound : Fcl_var.BASICFD.t -> bool   val value :     Fcl_var.BASICFD.t ->     (Fcl_var.BASICFD.attr, Fcl_var.BASICFD.elt) Fcl_var.concrete   val min : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt   val max : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt   val min_max :     Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt * Fcl_var.BASICFD.elt   val elt_value : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt   val int_value : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt   val size : Fcl_var.BASICFD.t -> int   val member : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> bool   val id : Fcl_var.BASICFD.t -> int   val name : Fcl_var.BASICFD.t -> string   val compare : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.t -> int   val equal : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.t -> bool   val fprint : Pervasives.out_channel -> Fcl_var.BASICFD.t -> unit   val fprint_array :     Pervasives.out_channel -> Fcl_var.BASICFD.t array -> unit   val unify : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> unit   val refine : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.domain -> unit   val refine_low : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> unit   val refine_up : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> unit   val refine_low_up :     Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.elt -> unit   val on_refine : Fcl_var.BASICFD.event   val on_subst : Fcl_var.BASICFD.event   val on_min : Fcl_var.BASICFD.event   val on_max : Fcl_var.BASICFD.event   val delay :     Fcl_var.BASICFD.event list ->     Fcl_var.BASICFD.t -> ?waking_id:int -> Fcl_cstr.t -> unit   val int : Fcl_var.BASICFD.elt -> Fcl_var.BASICFD.t   val subst : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> unit   val unify_cstr : Fcl_var.BASICFD.t -> Fcl_var.BASICFD.elt -> Fcl_cstr.t end