charon_lib::transform::ullbc_to_llbc

Function translate_body

Source 
fn translate_body(ctx: &mut TransformCtx, body: &mut Body)