from dataclasses import dataclass, field from .base import * @dataclass(frozen=True,eq=True) class BuiltinType(Type): name: str def __hash__(self): return hash(self.name) def type(self, specialize_templates: bool = False, without_template: bool = False) -> str: return self.name @property def is_builtin(self): return True