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