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