3 files changed, 3 insertions, 12 deletions
diff --git a/docs/type_system/control.md b/docs/type_system/control.md
deleted file mode 100644
index 6a4ec49..0000000
--- a/docs/type_system/control.md
+++ /dev/null
@@ -1,9 +0,0 @@
-# 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 9cc9241..4cc3586 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -78,8 +78,6 @@ 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/op.md b/docs/type_system/op.md
index 5793a57..2a86d99 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -3,5 +3,7 @@
 ---
 
 ```text
-Op[TYPE; TYPE; TYPE]
+Op_class : Enum[.loop; .if; .match; .selection; ...]
+
+Op[RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE; Op_class]
 ```