vstd
In vstd::
prelude
vstd
::
prelude
Macro
verus_ghost_inv_macro_exprs
Copy item path
verus_ghost_inv_macro_exprs!() {
/* proc-macro */
}