Constant CUDD_UNIQUE_SLOTS
pub const CUDD_UNIQUE_SLOTS: u32 = _; // 256u32Expand description
Recommended default size of the unique node table.
pub const CUDD_UNIQUE_SLOTS: u32 = _; // 256u32Recommended default size of the unique node table.