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