feat(aiken-lang): expose integerToByteString and byteStringToInteger

2024-02-16 10:07:49 -05:00
parent fc3bc4d9ff
commit c7dd4d0e48
2 changed files with 12 additions and 0 deletions
--- a/crates/aiken-lang/src/builtins.rs
+++ b/crates/aiken-lang/src/builtins.rs
@@ -771,6 +771,16 @@ pub fn from_default_function(builtin: DefaultFunction, id_gen: &IdGenerator) ->
        DefaultFunction::Bls12_381_FinalVerify => {
            let tipo = function(vec![miller_loop_result(), miller_loop_result()], bool());

+            (tipo, 2)
+        }
+        DefaultFunction::IntegerToByteString => {
+            let tipo = function(vec![bool(), int(), int()], byte_array());
+
+            (tipo, 3)
+        }
+        DefaultFunction::ByteStringToInteger => {
+            let tipo = function(vec![bool(), byte_array()], int());
+
            (tipo, 2)
        }
    };