diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-07-18 14:01:26 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-07-18 14:01:26 -0400 |
| commit | 003119b9f285e5610f56186bce845441409265ae (patch) | |
| tree | 34a123532811537a0dd30aa797578be8f732b45b /docs/type_system/select.md | |
| parent | e950f786e25967a222cfa7bce7327ffd458e8c95 (diff) | |
op and ir matching definitions
Diffstat (limited to 'docs/type_system/select.md')
| -rw-r--r-- | docs/type_system/select.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/type_system/select.md b/docs/type_system/select.md index 9218b56..31ad83c 100644 --- a/docs/type_system/select.md +++ b/docs/type_system/select.md @@ -27,6 +27,6 @@ Mask `definition Select[[MASK]; Void; Collection[VAR_TREE_LIST; .symbol]] ## Definition Example ```text -E : Enum[I64; .a; .b; .c] -`log E // Enum[I64; .a : 0; .b : 1; .c : 2] +e : Enum[I64; .a; .b; .c] +`log E // Select[[ENUM] I64; .a : 0; .b : 1; .c : 2] ``` |