hax-types 0.3.1

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