hax-types v0.4.2 — Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax.

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