Skip to content

Commit

Permalink
Glossary: Improve definition of "gradual form" (#1799)
Browse files Browse the repository at this point in the history
  • Loading branch information
JelleZijlstra authored Jul 15, 2024
1 parent 5edf914 commit 690b23c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/spec/glossary.rst
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ This section defines a few terms that may be used elsewhere in the specification
:ref:`type-system-concepts`.

gradual form
A gradual form is a :term:`type expression` which makes the type it is
A gradual form is an element of a :term:`type expression` which makes the type it is
part of not a :term:`fully static type`, but rather a representation of a
set of possible static types. See :ref:`type-system-concepts`. The
primary gradual form is :ref:`Any`. The ellipsis (``...``) is a gradual
Expand Down

0 comments on commit 690b23c

Please sign in to comment.