Macro lean_expr 

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