Skip to main content

vstd_extra/resource/ghost_resource/
mod.rs

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