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