charon_lib::transform::ullbc_to_llbc

Function translate_functions

source
pub fn translate_functions(ctx: &mut TransformCtx<'_>)
Expand description

Translate the functions by reconstructing the control-flow.