Macro verus_impl

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

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