charon_driver/translate/
mod.rs

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