Macro vstd::prelude::verus_exec_inv_macro_exprs

verus_exec_inv_macro_exprs!() { /* proc-macro */ }