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