(self)
| 799 | return hash((self.name, self.types)) |
| 800 | |
| 801 | def serialize(self) -> JsonDict: |
| 802 | types = [x.serialize() for x in self.types] |
| 803 | return {".class": "RTuple", "types": types} |
| 804 | |
| 805 | @classmethod |
| 806 | def deserialize(cls, data: JsonDict, ctx: DeserMaps) -> RTuple: |