hax-types 0.3.2

Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax.
Documentation