charon_lib::transform::ullbc_to_llbc

Function translate_statement

source
fn translate_statement(st: &Statement) -> Option<Statement>