charon_lib::transform::simplify_constants

Function transform_operand

source
fn transform_operand<F: FnMut(Ty) -> Place>(
    span: &Span,
    nst: &mut Vec<Statement>,
    op: &mut Operand,
    f: &mut F,
)