Module agree 

Agreement resource algebra This module defines the Agreement PCM.

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

Enums

AgreeR

Agreement PCM