Function charon_lib::transform::ullbc_to_llbc::translate_body

source ยท 
fn translate_body(no_code_duplication: bool, body: &mut Body)