package facile

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