Function charon_lib::transform::ullbc_to_llbc::translate_functions
source ยท pub fn translate_functions(ctx: &mut TransformCtx<'_>)Expand description
Translate the functions by reconstructing the control-flow.