Structs§
- Resource
- Interface for PCM / Resource Algebra ghost state.
Traits§
- PCM
- A Partial Commutative Monoid is a special type of
ResourceAlgebra, where all elements have the same core (which belongs in the carrier), the unit. For this reason, they are also called unitary resource algebras.