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