pub unsafe extern "C" fn Cudd_SupportIndices( dd: *mut DdManager, f: *mut DdNode, indices: *mut *mut c_int, ) -> c_int