vstd 0.0.0-2026-04-20-1748

Verus Standard Library: Useful specifications and lemmas for verifying Rust code
Documentation
1
2
3
4
pub use verus_builtin_macros::auto_spec;
pub use verus_builtin_macros::{make_spec_type, self_view};
pub use verus_builtin_macros::{set_build, set_build_debug};
pub mod exec_spec;