From d3344528b3b8f40010fc5a4befbe8e8e080249a0 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Sat, 7 Dec 2024 14:25:12 +0100
Subject: [PATCH] add type signatures for new builtins.

---
 crates/aiken-lang/src/builtins.rs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/crates/aiken-lang/src/builtins.rs b/crates/aiken-lang/src/builtins.rs
index 43197758..06a2f859 100644
--- a/crates/aiken-lang/src/builtins.rs
+++ b/crates/aiken-lang/src/builtins.rs
@@ -910,27 +910,27 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
         }
         DefaultFunction::AndByteString => {
             let tipo = Type::function(
-                vec![Type::byte_array(), Type::byte_array()],
+                vec![Type::bool(), Type::byte_array(), Type::byte_array()],
                 Type::byte_array(),
             );
 
-            (tipo, 2)
+            (tipo, 3)
         }
         DefaultFunction::OrByteString => {
             let tipo = Type::function(
-                vec![Type::byte_array(), Type::byte_array()],
+                vec![Type::bool(), Type::byte_array(), Type::byte_array()],
                 Type::byte_array(),
             );
 
-            (tipo, 2)
+            (tipo, 3)
         }
         DefaultFunction::XorByteString => {
             let tipo = Type::function(
-                vec![Type::byte_array(), Type::byte_array()],
+                vec![Type::bool(), Type::byte_array(), Type::byte_array()],
                 Type::byte_array(),
             );
 
-            (tipo, 2)
+            (tipo, 3)
         }
         DefaultFunction::ComplementByteString => {
             let tipo = Type::function(vec![Type::byte_array()], Type::byte_array());