(meta_level: int)
| 554 | |
| 555 | @staticmethod |
| 556 | def new(meta_level: int) -> TypeVarId: |
| 557 | raw_id = TypeVarId.next_raw_id |
| 558 | TypeVarId.next_raw_id += 1 |
| 559 | return TypeVarId(raw_id, meta_level) |
| 560 | |
| 561 | def __repr__(self) -> str: |
| 562 | return self.raw_id.__repr__() |
no test coverage detected