cudd_sys
pub unsafe extern "C" fn Cudd_FirstPrime( dd: *mut DdManager, l: *mut DdNode, u: *mut DdNode, cube: *mut *mut c_int) -> *mut DdGen