hax-rust-engine-macros v0.4.2 — This crate provides helpers procedural macros for the `hax-rust-engine`

Sign in to join the discussion — your thebay.events account works here.