Cudd.Common
data
SatBit
toSatBit
expand
cudd_unique_slots
cudd_cache_slots