vstd
In vstd::
prelude
vstd
::
prelude
Macro
verus_trait_impl
Copy item path
verus_trait_impl!() {
/* proc-macro */
}
Expand description
Like verus!, but for use inside a trait impl