pub unsafe extern "C" fn Cudd_NextCube( gen: *mut DdGen, cube: *mut *mut c_int, value: *mut CUDD_VALUE_TYPE, ) -> c_int