Macro polyhorn_android::render

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

Calls polyhorn_ui::macros::render::render_impl with a token stream that we obtain from the Rust compiler.