(&self, op: BinaryOp)
| 1398 | } |
| 1399 | |
| 1400 | fn lift_binary_op(&self, op: BinaryOp) -> LiftedBinaryOp { |
| 1401 | LiftedBinaryOp { |
| 1402 | left: self.lift_operand(op.left), |
| 1403 | right: self.lift_operand(op.right), |
| 1404 | } |
| 1405 | } |
| 1406 | |
| 1407 | fn lift_binary_op_carry(&self, op: BinaryOpCarry) -> LiftedBinaryOpCarry { |
| 1408 | LiftedBinaryOpCarry { |