package idd

  1. Overview
  2. Docs

Boolean algebra

type t
val ctrue : t
val cfalse : t
val conj : t -> t -> t
val disj : t -> t -> t
val neg : t -> t -> t