From fd6cf014147019378627fcd46af890860a247452 Mon Sep 17 00:00:00 2001
From: folex <0xdxdy@gmail.com>
Date: Tue, 13 Jul 2021 19:40:19 +0300
Subject: [PATCH] =?UTF-8?q?=E2=8A=A4=20&=20=E2=8A=A5=20in=20Op?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 builtin.aqua | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/builtin.aqua b/builtin.aqua
index 9110c1c..826126e 100644
--- a/builtin.aqua
+++ b/builtin.aqua
@@ -68,13 +68,13 @@ service Op("op"):
     -- does nothing
     noop()
     -- returns length of the passed array
-    array_length(array: []string) -> u32
+    array_length(array: []⊤) -> u32
     -- takes any number of arguments and wraps them into a single array
-    array(a: string, b: ?string, c: ?string, d: ?string) -> []string
+    array(a: ⊤, b: ?⊤, c: ?⊤, d: ?⊤) -> []⊥
     -- takes any number of arrays and flattens them by concatenating
-    concat(a: []string, b: ?[]string, c: ?[]string, d: ?[]string) -> []string
+    concat(a: []⊤, b: ?[]⊤, c: ?[]⊤, d: ?[]⊤) -> []⊥
     -- takes a single argument and returns it back
-    identity(s: ?string) -> ?string
+    identity(s: ⊤) -> ⊥
     string_to_b58(s: string) -> Base58String
     string_from_b58(b: Base58String) -> string
     bytes_to_b58(bs: []u8) -> Base58String