(&self, value: BigInt)
| 406 | self.0.ctx.new_bytes(value.to_vec()).into() |
| 407 | } |
| 408 | fn make_int(&self, value: BigInt) -> Self::Value { |
| 409 | self.0.ctx.new_int(value).into() |
| 410 | } |
| 411 | fn make_tuple(&self, elements: impl Iterator<Item = Self::Value>) -> Self::Value { |
| 412 | self.0.ctx.new_tuple(elements.collect()).into() |
| 413 | } |