Macro fstar_expr

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