Module storage_protocol 

Leaf-style storage protocol monoids.

Modules

csum

Sum-type storage protocol.

excl

Exclusive storage protocol resource algebra.

hybrid_product

Product of a PCM and a storage-protocol resource algebra.