Skip to main content

vstd_extra/resource/
mod.rs

1//! Resource algebras based on Iris PCM and Leaf storage-protocol.
2pub mod flags;
3pub mod ghost_resource;
4pub mod storage_protocol;