1//! Resource algebras based on PCM and storage-protocol inspired by Iris and Leaf. 2pub mod pcm; 3pub mod storage; 4 5use vstd::prelude::*;