diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-07-16 17:50:07 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-07-16 17:50:07 -0400 |
| commit | e950f786e25967a222cfa7bce7327ffd458e8c95 (patch) | |
| tree | 8c0cc77ac43806b146a49f74db2332a6181a2515 /docs/type_system/select.md | |
| parent | 224c245a875a6f28c01e93d037329c708ef81dd4 (diff) | |
add generics
Diffstat (limited to 'docs/type_system/select.md')
| -rw-r--r-- | docs/type_system/select.md | 8 |
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 |
