hax-types

This crate contains the type definitions that are used to communicate between:

• the command line (the cargo-hax binary);
• the custom rustc driver;
• the hax engine (the hax-engine binary).

Those three component send and receive messages in JSON or CBOR on stdin and stdout.