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.md8
1 files changed, 4 insertions, 4 deletions
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