charon_lib::transform::ullbc_to_llbc

Function translate_body

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