Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update crates/red_knot_python_semantic/docs/kind_of_types.md 

Co-authored-by: Carl Meyer <carl@astral.sh>
This commit is contained in:
Alex Waygood 2024-10-28 19:55:47 +00:00 committed by GitHub
parent abd3f64405
commit ebe8cdd2b1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/red_knot_python_semantic/docs/kind_of_types.md
View File

@ -30,7 +30,7 @@ For any type `T`, the union of all of the proper subtypes[^2] of `T` is exactly
## Singleton types
A singleton type is a type for which it is known that there is
(and can only ever be) exactly one known inhabitant of the type at runtime:
(and can only ever be) exactly one inhabitant of the type at runtime:
a set of runtime values with size exactly 1.
For any singleton type in Python, the type's sole inhabitant will always exist
at the same memory address for the entire duration of a Python program.