Module Bed.BDD

type bdd = private
  1. | Zero
  2. | One
  3. | If of tag * int * bdd * bdd
type t = bdd
val zero : bdd
val one : bdd
val mk : int -> bdd -> bdd -> bdd
val var : int -> bdd
val equal : bdd -> bdd -> bool
val hash : bdd -> int
val compare : bdd -> bdd -> int
val pretty : Stdlib.Format.formatter -> bdd -> unit
module WithCache (Param : sig ... end) : sig ... end
val (!~) : bdd -> bdd
val (&&~) : bdd -> bdd -> bdd
val (||~) : bdd -> bdd -> bdd
val (==>~) : bdd -> bdd -> bdd