1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
from typing import (
Iterable, Iterator, TypeVar, List, Mapping, overload, Tuple, Set, Union, Generic, Sequence
)
class object:
def __init__(self) -> None: pass
def __eq__(self, other: object) -> bool: pass
class type:
def __init__(self, x) -> None: pass
class function: pass
class classmethod: pass
class ellipsis: pass
EllipsisType = ellipsis
Ellipsis = ellipsis()
def isinstance(x: object, t: Union[type, Tuple]) -> bool: pass
def issubclass(x: object, t: Union[type, Tuple]) -> bool: pass
class int:
def __add__(self, x: int) -> int: pass
class float: pass
class bool(int): pass
class str:
def __add__(self, x: str) -> str: pass
def __getitem__(self, x: int) -> str: pass
class bytes: pass
T = TypeVar('T')
KT = TypeVar('KT')
VT = TypeVar('VT')
class tuple(Generic[T]):
def __len__(self) -> int: pass
class list(Sequence[T]):
def __iter__(self) -> Iterator[T]: pass
def __mul__(self, x: int) -> list[T]: pass
def __setitem__(self, x: int, v: T) -> None: pass
def __getitem__(self, x: int) -> T: pass
def __add__(self, x: List[T]) -> T: pass
def __contains__(self, item: object) -> bool: pass
def append(self, x: T) -> None: pass
def extend(self, x: Iterable[T]) -> None: pass
class dict(Mapping[KT, VT]):
@overload
def __init__(self, **kwargs: VT) -> None: pass
@overload
def __init__(self, arg: Iterable[Tuple[KT, VT]], **kwargs: VT) -> None: pass
def __setitem__(self, k: KT, v: VT) -> None: pass
def __iter__(self) -> Iterator[KT]: pass
def update(self, a: Mapping[KT, VT]) -> None: pass
def items(self) -> Iterable[Tuple[KT, VT]]: pass
class set(Generic[T]):
def __iter__(self) -> Iterator[T]: pass
def add(self, x: T) -> None: pass
def discard(self, x: T) -> None: pass
def update(self, x: Set[T]) -> None: pass
def pop(self) -> T: pass
|
