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