package idd

  1. Overview
  2. Docs
val test : Bdd.t -> t
include Algebra.BA with type t := Bdd.t
val ctrue : Bdd.t
val cfalse : Bdd.t
val conj : Bdd.t -> Bdd.t -> Bdd.t
val disj : Bdd.t -> Bdd.t -> Bdd.t
val neg : Bdd.t -> Bdd.t -> Bdd.t
include Algebra.KA with type t := t
val zero : t
val one : t
val seq : t -> t -> t
val union : t -> t -> t
val star : t -> t
OCaml

Innovation. Community. Security.