Function charon_lib::transform::ullbc_to_llbc::translate_body_aux

source ยท 
fn translate_body_aux(
    no_code_duplication: bool,
    src_body: &ExprBody,
) -> ExprBody