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 backends;
14pub mod hax_io;
15pub mod interning;
16pub mod names;
17pub mod ocaml_engine;
18pub mod phase;
19pub mod printer;
20pub mod resugarings;
21pub mod symbol;