From f3e3fd0cdba8d2f9f49be279ac3c0ec87a44609b Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Wed, 3 Jun 2026 15:26:26 -0400
Subject: refs with more impl

---
 docs/type_system/empty.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'docs/type_system/empty.md')

diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index ab0226d..55bdcf1 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -5,3 +5,19 @@
 Container type can be null
 
 ## Use with `Option` Union
+
+```text
+make_array : Fn[yes] $ (
+    ? yes {
+        `some Array $ (1; 2; 3)
+        `nome
+    }
+)
+v : make_array(...) // Empty[Array[I64]] $ .none OR Empty[Array[I64]] $ (.some : (1; 2; 3))
+# v {
+    .some {[x] `log x } // Array[I64] $ (1; 2; 3)
+    .none { ... }
+}
+// same as above
+? v {[x] `log x } // Array[I64] $ (1; 2; 3)
+```
-- 
cgit v1.2.3