From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 27 Jul 2026 17:17:56 -0400 Subject: bottom up redesign --- docs/type_system/select.md | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 docs/type_system/select.md (limited to 'docs/type_system/select.md') 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] -``` -- cgit v1.2.3