sig
  type algo = Lazy | Bin_matching of Fcl_var.Fd.event
  val cstr : ?algo:Fcl_alldiff.algo -> Fcl_var.Fd.t array -> Fcl_cstr.t
end