pub unsafe extern "C" fn Cudd_VectorSupportIndices( dd: *mut DdManager, F: *mut *mut DdNode, n: c_int, indices: *mut *mut c_int, ) -> c_int