hax_rust_engine/lib.rs
1//! The Rust engine of hax.
2
3#![feature(rustc_private)]
4#![warn(
5 rustdoc::broken_intra_doc_links,
6 missing_docs,
7 unused_qualifications,
8 unused_crate_dependencies
9)]
10
11pub mod ast;
12pub mod backends;
13pub mod hax_io;
14pub mod names;
15pub mod ocaml_engine;
16pub mod phase;
17pub mod printer;
18pub mod resugarings;
19pub mod symbol;