diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-11 18:11:15 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-11 18:11:15 -0400 |
| commit | 8f7ba4d80830e1a8fec4d8a7d9d7fa39f8ff7ef1 (patch) | |
| tree | 046fde27f1bbefe47e1d5691c264dbedd33e02ae /docs/type_system | |
| parent | be424041a9dae43dcb7be170b61c3a568013bf2e (diff) | |
op for all actions
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/control.md | 9 | ||||
| -rw-r--r-- | docs/type_system/index.md | 2 | ||||
| -rw-r--r-- | docs/type_system/op.md | 4 |
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] ``` |