From dd9713497bfc9e27f9b1ff3181d34ee241f05ec8 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Tue, 30 Jun 2026 16:13:39 -0400
Subject: match internal kpl status

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

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

diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index 7997901..2fae1e7 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -13,14 +13,14 @@ Container type can be null
 ```text
 make_array : ([yes]
     ? yes {
-        `some Array $ (1; 2; 3)
-        `nome
+        `value Array $ (1; 2; 3)
+        `null
     }
 )
-v : make_array(...) // %empty Array[I64] $ .none OR %empty Array[I64] $ (.some : (1; 2; 3))
+v : make_array(...) // %empty Array[I64] $ .null OR %empty Array[I64] $ (.value : (1; 2; 3))
 # v {
-    .some {[x] `log x } // Array[I64] $ (1; 2; 3)
-    .none { ... }
+    .value {[x] `log x } // Array[I64] $ (1; 2; 3)
+    .null { ... }
 }
 // same as above
 ? v {[x] `log x } // Array[I64] $ (1; 2; 3)
-- 
cgit v1.2.3