package facile

  1. Overview
  2. Docs

Module Facile.AlldiffSource

Sourcetype algo =
  1. | Lazy
  2. | Bin_matching of Var.Fd.event
Sourceval cstr : ?algo:algo -> Var.Fd.t array -> Cstr.t