Module excl 

Exclusive resource algebra This module defines an exclusive PCM.

For Iris definition, see: https://gitlab.mpi-sws.org/iris/iris/-/blob/master/iris/algebra/excl.v

Enums

ExclR

Exclusive PCM