summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/type_system/control.md9
-rw-r--r--docs/type_system/index.md2
-rw-r--r--docs/type_system/list.md2
3 files changed, 12 insertions, 1 deletions
diff --git a/docs/type_system/control.md b/docs/type_system/control.md
new file mode 100644
index 0000000..6a4ec49
--- /dev/null
+++ b/docs/type_system/control.md
@@ -0,0 +1,9 @@
+# Control
+
+---
+
+```text
+Control_class `alias Enum[.loop; .if; .match; .mutate; .selection]
+
+Control[TARGET; ARGS; LIST; Control_class]
+```
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 4cc3586..9cc9241 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -78,6 +78,8 @@ Denotes that a field that does not resolve to anything
* #### [Op](./op.md)
+* #### [Control](./control.md)
+
* #### [List](./list.md)
* #### [Namespace](./namespace.md)
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index fc5b0ff..ec90864 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -5,5 +5,5 @@
A "List" of statements
```text
-List[TARGET; SCOPE; STATEMENTS ...]
+List[SCOPE; STATEMENTS ...]
```