Type Alias InternalCuddMgr 

type InternalCuddMgr = Rc<InternalCuddMgrPtr>;

Internal representation of the CUDD manager

Aliased Type

struct InternalCuddMgr { /* private fields */ }