Module csum 

Csum resource algebra Csum PCM

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

Enums

CsumR

Csum PCM