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