vstd-0.0.0-2026-10-25-0158
- vstd 0.0.0-2026-10-25-0158
- Permalink
- Docs.rs crate page
- MIT
- 25 October 2026
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- utaal
- jaybosamiya
- parno
- Chris-Hawblitzel
- Dependencies
- verus_builtin =0.0.0-2026-10-11-0230 normal
  verus_builtin_macros =0.0.0-2026-10-25-0158 normal
  verus_state_machines_macros =0.0.0-2026-10-25-0158 normal
- Versions
- 33.87% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

verus_verify

vstd0.0.0-2026-10-25-0158

In vstd::prelude

Attribute Macro verus_verify

#[verus_verify]