From 6f507405ac3b0a128c63134997849203e3493a91 Mon Sep 17 00:00:00 2001 From: nodist Date: Fri, 26 Jun 2026 11:46:36 -0400 Subject: remove global name tree --- docs/type_system/name.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/type_system/name.md') 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] ``` -- cgit v1.2.3