From 20106935981d50971da0a7708a5bfdbec256049c Mon Sep 17 00:00:00 2001 From: nodist Date: Fri, 10 Jul 2026 15:14:36 -0400 Subject: array methods and return qualifier --- docs/type_system/function.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'docs/type_system/function.md') 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 -- cgit v1.2.3