diff options
Diffstat (limited to 'docs/type_system/function.md')
| -rw-r--r-- | docs/type_system/function.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/type_system/function.md b/docs/type_system/function.md index 515550a..d972b57 100644 --- a/docs/type_system/function.md +++ b/docs/type_system/function.md @@ -89,6 +89,14 @@ Invoked regular expression matcher ## \`return +The return operation type is Void with the `%return` qualifier + +```text +%return Void +``` + +This qualifier is used when type checking branches that should return value, indicating this branch is valid + ## Transient Union Return Chaining # Iterating |