cudd_sys
pub unsafe extern "C" fn Cudd_FirstCube( dd: *mut DdManager, f: *mut DdNode, cube: *mut *mut c_int, value: *mut CUDD_VALUE_TYPE) -> *mut DdGen