specify type representation

1 files changed, 24 insertions, 0 deletions

diff --git a/docs/type_system/select.md b/docs/type_system/select.md
new file mode 100644
index 0000000..b2f8f61
--- /dev/null
+++ b/docs/type_system/select.md
@@ -0,0 +1,24 @@
+# Select
+
+---
+
+A symbol associated with a type
+
+```text
+Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : Const[Value]]]
+```
+
+# Alias
+
+```text
+Enum[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : Const[Value]]]
+
+Mask[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : Const[Value]]]
+```
+
+## Definition Example
+
+```text
+E : Enum[I64; .a; .b; .c]
+`log E // Enum[I64; .a : 0; .b : 1; .c : 2]
+```