Skip to main content
proof
vest_
lib
In vest_
lib::
prelude
vest_lib
::
prelude
Macro
proof
Copy item path
proof!() {
/* proc-macro */
}
Expand description
Add a verus proof block.