hax_types/lib.rs
1#![cfg_attr(feature = "rustc", feature(rustc_private))]
2#![doc = include_str!("../README.md")]
3
4pub(crate) mod prelude;
5
6/// The CLI options for `cargo-hax`. The types defines in this module
7/// are also used by the driver and the engine.
8pub mod cli_options;
9
10/// Type to represent errors, mainly in `hax-engine`. The engine
11/// doesn't do any reporting itself: it only sends JSON to its stdout,
12/// and `cargo-hax` takes care of reporting everything in a rustc
13/// style.
14pub mod diagnostics;
15
16/// The types used to communicate between `cargo-hax` and the custom
17/// driver.
18pub mod driver_api;
19
20/// The types used to communicate between `cargo-hax` and
21/// `hax-engine`.
22pub mod engine_api;
23
24/// Compile-time version of hax
25pub const HAX_VERSION: &str = env!("HAX_VERSION");