Module resource 

Resource algebras based on Iris PCM and Leaf storage-protocol.

Modules

ghost_resource

Ghost resources available for use in proofs.

storage_protocol

Leaf-style storage protocol monoids.