Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435use super::prelude::*;
pub mod algebra;mod combinators;mod impls;mod lib;pub mod pcm;pub mod relations;pub mod storage_protocol;
pub use combinators::agree;pub use combinators::auth;pub use combinators::exclusive;pub use combinators::frac;pub use combinators::option;pub use combinators::product;pub use combinators::sum;
pub use impls::frac_opt;pub use impls::ghost_var;pub use impls::imap;pub use impls::iset;pub use impls::map;pub use impls::seq;pub use impls::set;
pub use lib::*;
verus! {
#[derive(Eq, PartialEq)]pub struct Loc(int);
} // verus!