(&self, op: BinaryOpCarry)
| 882 | } |
| 883 | |
| 884 | fn lift_binary_op_carry(&self, op: BinaryOpCarry) -> LiftedBinaryOpCarry { |
| 885 | LiftedBinaryOpCarry { |
| 886 | left: self.lift_operand(op.left), |
| 887 | right: self.lift_operand(op.right), |
| 888 | carry: self.lift_operand(op.carry), |
| 889 | } |
| 890 | } |
| 891 | |
| 892 | fn lift_unary_op(&self, op: UnaryOp) -> LiftedUnaryOp { |
| 893 | LiftedUnaryOp { |