.TYPE_CHECKING: Bool

.Any: ClassType
.LiteralString: ClassType
.Never: ClassType
.NoReturn: ClassType
.Self: ClassType
.TypeAlias: ClassType
.Tuple: ClassType
.Tuple.
    __getitem__: (HomogenousTuple Type) -> Type
.Union: ClassType
.Union.
    __getitem__: (HomogenousTuple Type) -> Type
.Optional: ClassType
.Optional.
    __getitem__: (HomogenousTuple Type) -> Type
.Callable: ClassType
.Callable.
    __getitem__: (HomogenousTuple Type) -> Type
.Concatenate: (*Type) -> Type
.Type: (Type) -> Type
.Literal: ClassType
.Literal.
    __getitem__: (HomogenousTuple Obj) -> Type
.ClassVar: (Type) -> Type
.Final: (Type) -> Type
.Required: (Type) -> Type
.NotRequired: (Type) -> Type
.Annotated: (Type, *Obj) -> Type
.TypeGuard: (Type) -> Type
.Generic: ClassType
.Generic.
    __getitem__: (*Type) -> Type
.TypeVar: ClassType
.TypeVar.
    __name__: Str
    __covariant__: Bool
    __contravariant__: Bool
    __infer_variance__: Bool
    __bound__: Type or NoneType
    __constraints__: [Type; _]
    __call__: (
        Str,
        *constraints: Type,
        bound := Type,
        covariant := Bool,
        cotravariant := Bool,
        infer_variance := Bool,
    ) -> Type
.TypeVarTuple: ClassType
.TypeVarTuple.
    __name__: Str
    __call__: (Str) -> Type
.Unpack: (Type) -> Type
.ParamSpecArgs: ClassType
.ParamSpecKwargs: ClassType
.ParamSpec: ClassType
.ParamSpec.
    __name__: Str
    args: ParamSpecArgs
    kwargs: ParamSpecKwargs
    __call__: (Str, bound := Type, covariant := Bool, contravariant := Bool) -> ParamSpec
.AnyStr: ClassType
.Protocol: (Type := NoneType) -> Type
.NamedTuple: ClassType
.NamedTuple.
    __call__: (typename: Str, it := global::Iterable(Obj)) -> Type
.NewType: ClassType
.NewType.
    __module__: Str
    __name__: Str
    __supertype__: Type
    __call__: (name: Str, tp: Type) -> NewType
.TypedDict: (typename: Str, it := global::Iterable(Obj)) -> Type
.Dict: (Type, Type) -> Type
.List: (Type) -> Type
.Set: (Type) -> Type
.FrozenSet: (Type) -> ClassType
.FrozenSet.
    __getitem__: Type -> Type
.OrderedDict: (Type, Type) -> ClassType
.OrderedDict.
    __getitem__: (kv: (Type, Type)) -> Type
.ChainMap: (Type, Type) -> Type
.Counter: (Type, Int) -> Type
.Deque: (T: Type) -> ClassType
.Deque.
    __call__: |T|(iter: global::Iterable(T)) -> Deque T
    __getitem__: (Type) -> Type
.IO: Type -> ClassType
.IO.
    __call__: () -> IO Obj
    __getitem__: (Type) -> Type
.TextIO: ClassType
.TextIO <: IO Str
.TextIO.
    __call__: () -> TextIO
.BinaryIO: ClassType
.BinaryIO <: IO Bytes
.BinaryIO.
    __call__: () -> BinaryIO
.Pattern: ClassType
.Match: ClassType
.Text: ClassType
.Sequence: ClassType
.Sequence.
    __getitem__: (Type) -> Type

.assert_never: (arg: Obj) -> NoneType
.assert_type: (val: Obj, typ: Type) -> NoneType
.cast: |T|(typ: {T}, val: Obj) -> T
.clear_overloads!: () => NoneType
.final: |C <: GenericCallable or Type|(func_or_type: C) -> C
.get_args: (type: Type) -> [Type; _]
.get_type_hints: (obj: Obj, globalns: {Str: Obj}, localns: {Str: Obj}) -> {Str: Obj}
.get_origin: (type: Type) -> Type
.get_overloads: (func: GenericCallable) -> [Obj; _]
.is_typeddict: (type: Type) -> Bool
.no_type_check: |C <: GenericCallable|(func: C) -> C
.no_type_check_decorator: |C <: GenericCallable|(func: C) -> C
.overload: |C <: GenericCallable|(func: C) -> C
.override: |C <: GenericCallable|(func: C) -> C
.reveal_type: (obj: Obj) -> NoneType
.type_check_only: |C <: GenericCallable|(func: C) -> C
.runtime_checkable: (cls: Type) -> Type

.AbstractSet: ClassType
.AbstractSet.
    __getitem__: (Type) -> Type
.ByteString: ClassType
.Container: ClassType
.ContextManager: ClassType
.ContextManager.
    __enter__: (self: ContextManager) -> ContextManager
    __exit__: (self: ContextManager, exc_type: Type, exc_value: Obj, traceback: Obj) -> NoneType
.Hashable: ClassType
.ItemsView: ClassType
.Iterable: ClassType
.Iterable.
    __getitem__: Type -> Type
.Iterator: ClassType
.Iterator.
    __getitem__: Type -> Type
.KeysView: ClassType
.Mapping: ClassType
.Mapping.
    __getitem__: (kv: (Type, Type)) -> Type
.MappingView: ClassType
.MappingView.
    __getitem__: (Type) -> Type
.MutableMapping: ClassType
.MutableMapping.
    __getitem__: (kv: (Type, Type)) -> Type
.MutableSequence: ClassType
.MutableSequence.
    __getitem__: Type -> Type
.MutableSet: ClassType
.MutableSet.
    __getitem__: Type -> Type
.Sized: ClassType
.ValuesView: ClassType
.Awaitable: ClassType
.AsyncIterator: ClassType
.AsyncIterator.
    __getitem__: Type -> Type
.AsyncIterable: ClassType
.AsyncIterable.
    __getitem__: Type -> Type
.Coroutine: ClassType
.Coroutine.
    __getitem__: (t: (Type, Type, Type)) -> Type
.Collection: ClassType
.Collection.
    __getitem__: Type -> Type
.AsyncGenerator: ClassType
.AsyncGenerator.
    __getitem__: (t: (Type, Type)) -> Type
.AsyncContextManager: ClassType
.AsyncContextManager.
    __getitem__: Type -> Type
.SupportsAbs: ClassType
.SupportsBytes: ClassType
.SupportsComplex: ClassType
.SupportsFloat: ClassType
.SupportsIndex: ClassType
.SupportsInt: ClassType
.SupportsRound: ClassType

.Generator: ClassType
.Generator.
    __getitem__: (t: (Type, Type, Type)) -> Type
.Reversible: ClassType
.Reversible.
    __getitem__: Type -> Type