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