vstd_extra/resource/pcm/
mod.rs

1//! Partial commutative monoid (PCM) based resource algebras.
2/// Agreement resource algebra
3pub mod agree;
4/// Reference counting resource algebra
5pub mod count;
6/// Csum resource algebra
7pub mod csum;
8/// Exclusive resource algebra
9pub mod excl;
10/// Fractional resource algebra
11pub mod frac;
12
13pub use agree::*;
14pub use count::*;
15pub use csum::*;
16pub use excl::*;
17pub use frac::*;