cudd_sys
pub unsafe extern "C" fn Cudd_addBddInterval( dd: *mut DdManager, f: *mut DdNode, lower: CUDD_VALUE_TYPE, upper: CUDD_VALUE_TYPE) -> *mut DdNode