Module Facile.Alldiff

module Alldiff: sig .. end

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