vstd/resource/mod.rs
1use super::prelude::*;
2
3pub mod agree;
4pub mod algebra;
5pub mod auth;
6pub mod exclusive;
7pub mod frac;
8pub mod frac_opt;
9pub mod ghost_var;
10mod lib;
11pub mod map;
12pub mod option;
13pub mod pcm;
14pub mod product;
15pub mod relations;
16pub mod seq;
17pub mod set;
18pub mod storage_protocol;
19pub mod sum;
20
21pub use lib::*;
22
23verus! {
24
25#[derive(Eq, PartialEq)]
26pub struct Loc(int);
27
28} // verus!