charon_lib::transform::ullbc_to_llbc

Function translate_body_aux

Source 
fn translate_body_aux(ctx: &mut TransformCtx, src_body: &ExprBody) -> ExprBody