pub unsafe extern "C" fn Cudd_IndicesToCube( dd: *mut DdManager, array: *mut c_int, n: c_int, ) -> *mut DdNode