module Boolean: sig .. end
sig
end
val cstr : Facile.Var.Fd.t array -> Facile.Var.Fd.t -> Facile.Cstr.t
Facile.Var.Fd.t array -> Facile.Var.Fd.t -> Facile.Cstr.t
val sum : Facile.Var.Fd.t array -> Facile.Var.Fd.t
Facile.Var.Fd.t array -> Facile.Var.Fd.t