Skip to main content
verus_proof_expr
vest_
lib
In vest_
lib::
prelude
vest_lib
::
prelude
Macro
verus_
proof_
expr
Copy item path
verus_proof_expr!() {
/* proc-macro */
}