Type Definition cudd_sys::DdApaNumber[][src]

pub type DdApaNumber = *mut DdApaDigit;
Expand description

The type of an arbitrary precision integer, corresponding to an array of digits.