diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-26 11:46:36 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-26 11:46:36 -0400 |
| commit | 6f507405ac3b0a128c63134997849203e3493a91 (patch) | |
| tree | 2804d44834ee4f9bb452f5458a871eb04ebb1910 /docs/type_system/name.md | |
| parent | 88646efb1c2615e6d8ff0a2eae047a5ed2a31dd4 (diff) | |
remove global name tree
Diffstat (limited to 'docs/type_system/name.md')
| -rw-r--r-- | docs/type_system/name.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/type_system/name.md b/docs/type_system/name.md index 10a6ac3..1faeb3c 100644 --- a/docs/type_system/name.md +++ b/docs/type_system/name.md @@ -3,5 +3,5 @@ --- ```text -Name[[UNKNOWN | IS_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; NAME_IDENTIFIER] +Name[[UNKNOWN | IS_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE] ``` |