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_drops;
9pub mod translate_functions;
10pub mod translate_generics;
11pub mod translate_items;
12pub mod translate_meta;
13pub mod translate_predicates;
14pub mod translate_types;