sig   val subset : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_cstr.t   val cardinal : Fcl_var.SetFd.t -> Fcl_var.Fd.t   val smallest : Fcl_var.SetFd.t -> Fcl_var.Fd.t   val union : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_var.SetFd.t   val inter : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_var.SetFd.t   val all_disjoint : Fcl_var.SetFd.t array -> Fcl_cstr.t   val disjoint : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_cstr.t   val inside : int -> Fcl_var.SetFd.t -> unit   val outside : int -> Fcl_var.SetFd.t -> unit   val mem : Fcl_var.Fd.t -> Fcl_var.SetFd.t -> Fcl_cstr.t   val inf_min : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_cstr.t   val order : Fcl_var.SetFd.t -> Fcl_var.SetFd.t -> Fcl_cstr.t   val order_with_card :     Fcl_var.SetFd.t ->     Fcl_var.Fd.t -> Fcl_var.SetFd.t -> Fcl_var.Fd.t -> Fcl_cstr.t   val member : Fcl_var.SetFd.t -> Fcl_setDomain.elt list -> Fcl_cstr.t   val sum_weight : Fcl_var.SetFd.t -> (int * int) list -> Fcl_var.Fd.t   val atmost1 : Fcl_var.SetFd.t array -> int -> unit end