charon_driver/translate/
mod.rs

1pub mod get_mir;
2pub mod resolve_path;
3pub mod translate_bodies;
4pub mod translate_constants;
5pub mod translate_crate_to_ullbc;
6pub mod translate_ctx;
7pub mod translate_functions_to_ullbc;
8pub mod translate_predicates;
9pub mod translate_traits;
10pub mod translate_types;