match internal kpl status

1 files changed, 5 insertions, 5 deletions

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)