| # For Python 3.10+ only |
| from typing import Tuple, TypeVar, Generic, Union, cast, Any, Type |
| import types |
| |
| T = TypeVar('T') |
| |
| class object: |
| def __init__(self) -> None: pass |
| |
| class type(Generic[T]): |
| def __init__(self, x) -> None: pass |
| def __or__(self, x) -> types.Union: pass |
| |
| class tuple(Generic[T]): pass |
| |
| class function: pass |
| |
| def isinstance(x: object, t: Union[Type[object], Tuple[Type[object], ...], types.Union]) -> bool: pass |
| def issubclass(x: object, t: Union[Type[object], Tuple[Type[object], ...]]) -> bool: pass |
| |
| class int: |
| def __add__(self, other: 'int') -> 'int': pass |
| class float: pass |
| class bool(int): pass |
| class str: |
| def __add__(self, other: 'str') -> 'str': pass |
| class ellipsis: pass |
| |
| NotImplemented = cast(Any, None) |
| |
| class dict: pass |