remove `call_native

3 files changed, 6 insertions, 8 deletions

diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index ac1f0bc..ab0226d 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -3,3 +3,5 @@
 ---
 
 Container type can be null
+
+## Use with `Option` Union
diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md
index edbc04a..6a954bf 100644
--- a/docs/type_system/fn.md
+++ b/docs/type_system/fn.md
@@ -40,7 +40,7 @@ it : fn `sync 10
 // invoking
 @ it { `log v }[v] // Opton[Int[...]].v $ (.some : 2); Opton[Int[...]].v $ (.some : 4)
 // same as above
-@ `has_next it { `log it() }
+@ `has_next it { `log `call_sync it }
 ```
 
 # Calling
@@ -57,7 +57,3 @@ value : `task_wait task
 ```text
 fn `call_sync args // `task_wait fn `call_async args
 ```
-
-## \`call_native
-
-For calling native code
diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index 8fec210..c446701 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -13,7 +13,7 @@ Overload[FN; ...]
 ```text
 add : Overload[Fn[.native; I64; Tuple[I64.x; I64.y]; ...]; Fn[.native; F64; Tuple[F64.x; F64.y]; ...]; ...]
 
-`log add `call_native (1; 2) // Valid calls first
-`log add `call_native (1.1; 2.2) // Valid calls second
-`log add `call_native (1; 2.2) // Invalid no signature match
+`log add `call_sync (1; 2) // Valid calls first
+`log add `call_sync (1.1; 2.2) // Valid calls second
+`log add `call_sync (1; 2.2) // Invalid no signature match
 ```