hax-rust-engine 0.3.7

The engine of the hax toolchain.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! The Rust engine of hax.

#![feature(rustc_private)]
#![feature(fn_traits, unboxed_closures)]
#![warn(
    rustdoc::broken_intra_doc_links,
    missing_docs,
    unused_qualifications,
    unused_crate_dependencies
)]

pub mod ast;
pub mod attributes;
pub mod backends;
pub mod debugger;
pub mod hax_io;
pub mod import_thir;
pub mod interning;
pub mod names;
pub mod ocaml_engine;
pub mod phase;
pub mod printer;
pub mod resugarings;
pub mod symbol;