hax-types 0.3.7

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

pub(crate) use hax_adt_into::derive_group;
pub use schemars::JsonSchema;
pub use std::path::{Path, PathBuf};