module Alldiff: sig .. end
sig
end
type algo =
|
Lazy
Bin_matching of Facile.Var.Fd.event
Facile.Var.Fd.event
val cstr : ?algo:algo -> Facile.Var.Fd.t array -> Facile.Cstr.t
?algo:algo -> Facile.Var.Fd.t array -> Facile.Cstr.t