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