package facile

  1. Overview
  2. Docs

Module Facile.BooleanSource

Sourceval cstr : Var.Fd.t array -> Var.Fd.t -> Cstr.t
Sourceval sum : Var.Fd.t array -> Var.Fd.t