summaryrefslogtreecommitdiff
path: root/docs/type_system/select.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/select.md')
-rw-r--r--docs/type_system/select.md32
1 files changed, 0 insertions, 32 deletions
diff --git a/docs/type_system/select.md b/docs/type_system/select.md
deleted file mode 100644
index 31ad83c..0000000
--- a/docs/type_system/select.md
+++ /dev/null
@@ -1,32 +0,0 @@
-# Select
-
----
-
-A symbol associated with a type
-
-```text
-Select[[ENUM | MASK] Type; Collection[VAR_TREE_LIST; .symbol : %const Value]]
-```
-
-## Type Body Object Definitions
-
-```c
-typedef struct {
- kpl_type *type, *var_tree, *var_list;
-} kpl_type_body_select;
-```
-
-# Alias
-
-```text
-Enum `definition Select[[ENUM]; TYPE; Collection[VAR_TREE_LIST; .symbol : %const Value]]
-
-Mask `definition Select[[MASK]; Void; Collection[VAR_TREE_LIST; .symbol]]
-```
-
-## Definition Example
-
-```text
-e : Enum[I64; .a; .b; .c]
-`log E // Select[[ENUM] I64; .a : 0; .b : 1; .c : 2]
-```