Module Condition.ConditionMy
include module type of struct include Bed.BDD end
val equal : bdd -> bdd -> bool
val compare : bdd -> bdd -> int
val pretty : Stdlib.Format.formatter -> bdd -> unit
val var_count : int Stdlib.ref
val disjoint : bdd -> bdd -> bool
val is_included : bdd -> bdd -> bool
val is_empty : bdd -> bool
val is_zero : bdd -> bool