Type Definition cudd_sys::DdApaDigit[][src]

pub type DdApaDigit = u32;
Expand description

The type of an arbitrary precision “digit”.