| # Minimal set of builtins required to work with Enums | |
| import types | |
| from typing import TypeVar, Generic, Iterator, Sequence, overload, Iterable | |
| T = TypeVar('T') | |
| class object: | |
| def __init__(self): pass | |
| class type: pass | |
| class tuple(Generic[T]): | |
| def __getitem__(self, x: int) -> T: pass | |
| class int: pass | |
| class str: | |
| def __len__(self) -> int: pass | |
| def __iter__(self) -> Iterator[str]: pass | |
| class dict: pass | |
| class list(Sequence[T]): | |
| @overload | |
| def __init__(self) -> None: pass | |
| @overload | |
| def __init__(self, x: Iterable[T]) -> None: pass |