Skip to main content

vstd_extra/resource/ghost_resource/
mod.rs

1//! Ghost resources available for use in proofs.
2pub mod count;
3pub mod csum;
4pub mod excl;
5pub mod tokens;