@@ -304,7 +304,7 @@ a callable with any arbitrary parameter list would be acceptable:
304304 x = concat # Also OK
305305
306306``Callable `` cannot express complex signatures such as functions that take a
307- variadic number of arguments, :func : `overloaded functions <overload> `, or
307+ variadic number of arguments, :ref : `overloaded functions <overload >`, or
308308functions that have keyword-only parameters. However, these signatures can be
309309expressed by defining a :class: `Protocol ` class with a
310310:meth: `~object.__call__ ` method:
@@ -526,7 +526,7 @@ A user-defined class can be defined as a generic class.
526526 self.logger.info('%s: %s', self.name, message)
527527
528528This syntax indicates that the class ``LoggedVar `` is parameterised around a
529- single :class : `type variable <TypeVar > ` ``T `` . This also makes ``T `` valid as
529+ single :ref : `type variable <typevar >` ``T `` . This also makes ``T `` valid as
530530a type within the class body.
531531
532532Generic classes implicitly inherit from :class: `Generic `. For compatibility
@@ -1493,7 +1493,7 @@ These can be used as types in annotations. They all support subscription using
14931493 Typing operator to conceptually mark an object as having been unpacked.
14941494
14951495 For example, using the unpack operator ``* `` on a
1496- :class : `type variable tuple <TypeVarTuple > ` is equivalent to using ``Unpack ``
1496+ :ref : `type variable tuple <typevartuple >` is equivalent to using ``Unpack ``
14971497 to mark the type variable tuple as having been unpacked::
14981498
14991499 Ts = TypeVarTuple('Ts')
@@ -1584,6 +1584,8 @@ without the dedicated syntax, as documented below.
15841584 ...
15851585 # Etc.
15861586
1587+ .. _typevar :
1588+
15871589.. class :: TypeVar(name, *constraints, bound=None, covariant=False, contravariant=False, infer_variance=False)
15881590
15891591 Type variable.
@@ -1728,9 +1730,11 @@ without the dedicated syntax, as documented below.
17281730 :ref: `type parameter <type-params >` syntax introduced by :pep: `695 `.
17291731 The ``infer_variance `` parameter was added.
17301732
1733+ .. _typevartuple :
1734+
17311735.. class :: TypeVarTuple(name)
17321736
1733- Type variable tuple. A specialized form of :class : `type variable <TypeVar > `
1737+ Type variable tuple. A specialized form of :ref : `type variable <typevar >`
17341738 that enables *variadic * generics.
17351739
17361740 Type variable tuples can be declared in :ref: `type parameter lists <type-params >`
@@ -1848,7 +1852,7 @@ without the dedicated syntax, as documented below.
18481852.. class :: ParamSpec(name, *, bound=None, covariant=False, contravariant=False)
18491853
18501854 Parameter specification variable. A specialized version of
1851- :class : `type variables <TypeVar > `.
1855+ :ref : `type variables <typevar >`.
18521856
18531857 In :ref: `type parameter lists <type-params >`, parameter specifications
18541858 can be declared with two asterisks (``** ``)::
@@ -2772,6 +2776,8 @@ Functions and decorators
27722776
27732777 .. versionadded :: 3.11
27742778
2779+ .. _overload :
2780+
27752781.. decorator :: overload
27762782
27772783 Decorator for creating overloaded functions and methods.
0 commit comments