From e950f786e25967a222cfa7bce7327ffd458e8c95 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Thu, 16 Jul 2026 17:50:07 -0400
Subject: add generics

---
 docs/type_system/select.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'docs/type_system/select.md')

diff --git a/docs/type_system/select.md b/docs/type_system/select.md
index 85528e0..9218b56 100644
--- a/docs/type_system/select.md
+++ b/docs/type_system/select.md
@@ -5,23 +5,23 @@
 A symbol associated with a type
 
 ```text
-Select[[SINGLE | MULTIPLE] Type; Collection[VAR_TREE_LIST; .symbol : %const Value]]
+Select[[ENUM | MASK] Type; Collection[VAR_TREE_LIST; .symbol : %const Value]]
 ```
 
 ## Type Body Object Definitions
 
 ```c
 typedef struct {
-    kpl_type *var_tree, *var_list;
+    kpl_type *type, *var_tree, *var_list;
 } kpl_type_body_select;
 ```
 
 # Alias
 
 ```text
-Enum[Generic.T; Collection[.symbol : %const Value]] `alias Select[[SINGLE]; Generic.T; Collection[VAR_TREE_LIST; .symbol : %const Value]]
+Enum `definition Select[[ENUM]; TYPE; Collection[VAR_TREE_LIST; .symbol : %const Value]]
 
-Mask[Generic.T; Collection[.symbol]] `alias Select[[MULTIPLE]; Generic.T; Collection[VAR_TREE_LIST; .symbol]]
+Mask `definition Select[[MASK]; Void; Collection[VAR_TREE_LIST; .symbol]]
 ```
 
 ## Definition Example
-- 
cgit v1.2.3