(&self, value: BigInt)
| 336 | } |
| 337 | |
| 338 | fn make_int(&self, value: BigInt) -> Self::Constant { |
| 339 | Literal(self.0.new_int(value).into()) |
| 340 | } |
| 341 | |
| 342 | fn make_tuple(&self, elements: impl Iterator<Item = Self::Constant>) -> Self::Constant { |
| 343 | Literal(self.0.new_tuple(elements.map(|lit| lit.0).collect()).into()) |