transform_operand

charon_lib::transform::simplify_output::simplify_constants

Function transform_operand 

Source 
fn transform_operand(ctx: &mut UllbcStatementTransformCtx<'_>, op: &mut Operand)