vstd
In vstd::
prelude
vstd
::
prelude
Macro
proof
Copy item path
proof!() {
/* proc-macro */
}
Expand description
Add a verus proof block.