(&self, op: BinaryOp)
| 875 | } |
| 876 | |
| 877 | fn lift_binary_op(&self, op: BinaryOp) -> LiftedBinaryOp { |
| 878 | LiftedBinaryOp { |
| 879 | left: self.lift_operand(op.left), |
| 880 | right: self.lift_operand(op.right), |
| 881 | } |
| 882 | } |
| 883 | |
| 884 | fn lift_binary_op_carry(&self, op: BinaryOpCarry) -> LiftedBinaryOpCarry { |
| 885 | LiftedBinaryOpCarry { |