Macro polyhorn_macros::poly

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