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