|
@@ -884,6 +884,12 @@ class ArrayVar(Var[ARRAY_VAR_TYPE]):
|
|
|
i: int | NumberVar,
|
|
|
) -> ArrayVar[Set[INNER_ARRAY_VAR]]: ...
|
|
|
|
|
|
+ @overload
|
|
|
+ def __getitem__(
|
|
|
+ self: ARRAY_VAR_OF_LIST_ELEMENT[Tuple[KEY_TYPE, VALUE_TYPE]],
|
|
|
+ i: int | NumberVar,
|
|
|
+ ) -> ArrayVar[Tuple[KEY_TYPE, VALUE_TYPE]]: ...
|
|
|
+
|
|
|
@overload
|
|
|
def __getitem__(
|
|
|
self: ARRAY_VAR_OF_LIST_ELEMENT[Tuple[INNER_ARRAY_VAR, ...]],
|