☰
vstd
In vstd::prelude
?
Macro
vstd
::
prelude
::
verus_exec_inv_macro_exprs
[
−
]
verus_exec_inv_macro_exprs!() {
/* proc-macro */
}