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_impl

vstd0.0.0-2026-10-25-0158

In vstd::prelude

Macro verus_impl

verus_impl!() { /* proc-macro */ }

Expand description

Like verus!, but for use inside a (non-trait) impl