charon_driver/translate/
mod.rs

1pub mod get_mir;
2pub mod resolve_path;
3pub mod translate_bodies;
4pub mod translate_closures;
5pub mod translate_constants;
6pub mod translate_crate;
7pub mod translate_ctx;
8pub mod translate_functions;
9pub mod translate_generics;
10pub mod translate_items;
11pub mod translate_meta;
12pub mod translate_predicates;
13pub mod translate_types;