1: #pragma once 3: #include <petsc/private/hashset.h> 5: PETSC_HASH_SET(HSetI, PetscInt, PetscHashInt, PetscHashEqual)