From 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Wed, 10 Jun 2026 13:34:38 -0400
Subject: specify type representation

---
 docs/type_system/index.md | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

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

diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 3601459..ae574d9 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -6,12 +6,28 @@
 
 ---
 
+# Representation
+
+```text
+TEMPLATE[[MODIFIERS] DEFINES...;...]
+```
+
+## Modifiers
+
+A modifier is an internal setting (a bit mask or single value), cannot be set by a user
+
+Each template below has its own modifiers
+
+## Defines
+
+User specified
+
 # Templates
 
 A template is an incomplete type
 
 ```text
-Template[Field; ...]
+Template[[] Field; ...]
 ```
 
 If a field in a template is not filed, one of these are required:
@@ -38,7 +54,7 @@ Denotes that a field that does not resolve to anything
 
 ## Value Templates
 
-* #### [Enum](./enum.md)
+* #### [Select](./select.md)
 
 * #### [Bit](./bit.md)
 
@@ -66,7 +82,7 @@ Denotes that a field that does not resolve to anything
 
 * #### [Ref](./ref.md)
 
-* #### [Gc](./gc.md)
+* #### [Shared](./shared.md)
 
 ## Function Templates
 
-- 
cgit v1.2.3