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