Module Make.BDD

type bdd = private
  1. | Zero
  2. | One
  3. | If of tag * Var.t * bdd * bdd
type t = bdd
val zero : bdd
val one : bdd
val mk : Var.t -> bdd -> bdd -> bdd
val var : Var.t -> 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