summaryrefslogtreecommitdiff
path: root/docs/type_system/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/index.md')
-rw-r--r--docs/type_system/index.md22
1 files changed, 19 insertions, 3 deletions
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