BDD.WithCache
module Param : sig ... end
val (!~) : bdd -> bdd
val (&&~) : bdd -> bdd -> bdd
val (||~) : bdd -> bdd -> bdd
val (==>~) : bdd -> bdd -> bdd