Expand description
Resource algebras based on Iris PCM and Leaf storage-protocol.
Modulesยง
- flags
- Persistent flags for recording that an event has occurred.
- ghost_
resource - Ghost resources available for use in proofs.
- storage_
protocol - Leaf-style storage protocol monoids.