vstd_extra/resource/storage/
mod.rs

1//! Leaf-style resource algebras based on storage-protocol.
2/// Fractional ownership.
3pub mod frac;
4/// Product of a PCM and a storage-protocol resource algebra.
5pub mod hybrid_product;
6
7pub use frac::*;
8pub use hybrid_product::*;