From f1773b4959a35f28b37617f775f4fc1683e4f654 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Sun, 12 Jul 2026 11:43:56 -0400
Subject: function types

---
 docs/language/ownership.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'docs/language')

diff --git a/docs/language/ownership.md b/docs/language/ownership.md
index 2c5de36..26eebe1 100644
--- a/docs/language/ownership.md
+++ b/docs/language/ownership.md
@@ -19,14 +19,11 @@
 References are automatically taken if the function signature specifies ref
 
 ```text
-inc_push_to_ref : ([%ref x; y]
-    x `push y + 1
-)
 int_array : Array[I64] $ ()
 float_array : Array[F64] $ ()
 @ 0 .. 2 {[x]
-    inc_push_to_ref `sync (int_array, x)
-    inc_push_to_ref `sync (float_array, F64 $ x)
+    ([%ref x; y] x `push y + 1) `sync (int_array, x)
+    ([%ref x; y] x `push y + 1) `sync (float_array, F64 $ x)
 }
 `log int_array // Array[I64] $ (1; 2; 3)
 `log float_array // Array[F64] $ (1.0; 2.0; 3.0)
-- 
cgit v1.2.3