1: #pragma once

  3: #include <petsc/private/hashset.h>

  5: PETSC_HASH_SET(HSetI, PetscInt, PetscHashInt, PetscHashEqual)