Macro verus_trait_impl

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

Like verus!, but for use inside a trait impl