module Conjunto: sig
.. end
val subset : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Cstr.t
val cardinal : Facile.Var.SetFd.t -> Facile.Var.Fd.t
val smallest : Facile.Var.SetFd.t -> Facile.Var.Fd.t
val union : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Var.SetFd.t
val inter : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Var.SetFd.t
val all_disjoint : Facile.Var.SetFd.t array -> Facile.Cstr.t
val disjoint : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Cstr.t
val inside : int -> Facile.Var.SetFd.t -> unit
val outside : int -> Facile.Var.SetFd.t -> unit
val inf_min : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Cstr.t
val order : Facile.Var.SetFd.t -> Facile.Var.SetFd.t -> Facile.Cstr.t
val order_with_card : Facile.Var.SetFd.t ->
Facile.Var.Fd.t -> Facile.Var.SetFd.t -> Facile.Var.Fd.t -> Facile.Cstr.t
val member : Facile.Var.SetFd.t -> Facile.SetDomain.elt list -> Facile.Cstr.t
val mem : Facile.Var.Fd.t -> Facile.Var.SetFd.t -> Facile.Cstr.t
val sum_weight : Facile.Var.SetFd.t -> (int * int) list -> Facile.Var.Fd.t
val atmost1 : Facile.Var.SetFd.t array -> int -> unit