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