vstd-0.0.0-2026-04-20-1748
- vstd 0.0.0-2026-04-20-1748
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- utaal
- jaybosamiya
- parno
- Chris-Hawblitzel
- Dependencies
- verus_builtin =0.0.0-2026-04-12-0118 normal
  verus_builtin_macros =0.0.0-2026-04-20-1748 normal
  verus_state_machines_macros =0.0.0-2026-04-20-1748 normal
- Versions
- 31.73% of the crate is documented
Go to latest stable release
Platform
Feature flags

docs.rs

Rust

Skip to main content

group_function_axioms

vstd0.0.0-2026-04-20-1748

In vstd::function

Function group_function_axioms

pub fn group_function_axioms()