vstd
In vstd::
prelude
vstd
::
prelude
Macro
struct_with_invariants
Copy item path
struct_with_invariants!() {
/* proc-macro */
}