path: root/docs/type_system/op.md

# Op

---

```text
Op_class : Enum[.loop; .if; .match; .selection; ...]

Op[RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE; Op_class]
```