verus_state_machines_macros-0.0.0-2026-10-11-0230
- verus_state_machines_macros 0.0.0-2026-10-11-0230
- Permalink
- Docs.rs crate page
- MIT
- 11 October 2026
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- parno
- Chris-Hawblitzel
- Dependencies
- indexmap ^2 normal
  proc-macro2 ^1.0.106 normal
  quote ^1.0 normal
  verus_syn =0.0.0-2026-09-06-0133 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

verus_state_machines_macros0.0.0-2026-10-11-0230

Crate Items

Macros

List of all items

Macros

case_on_init
case_on_next
case_on_next_strong
state_machine
tokenized_state_machine
tokenized_state_machine_vstd