proposed sol: warplib import

cairo1/darwin_arm64/corelib/src/lib.cairo

@@ -413,3 +413,6 @@ mod test;
 // Modules for testing only.
 mod testing;
 mod starknet_testing;
+
+mod warplib;
+use warplib::warp_add;

cairo1/darwin_arm64/corelib/src/warplib.cairo

@@ -0,0 +1,2 @@
+mod add;
+use add::warp_add;

cairo1/darwin_arm64/corelib/src/warplib/add.cairo

@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}

cairo1/linux_64/corelib/src/lib.cairo

@@ -410,3 +410,6 @@ use zeroable::Zeroable;
 
 #[cfg(test)]
 mod test;
+
+mod warplib;
+use warplib::warp_add;

cairo1/linux_64/corelib/src/warplib.cairo

@@ -0,0 +1,2 @@
+mod add;
+use add::warp_add;

cairo1/linux_64/corelib/src/warplib/add.cairo

@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}

test.cairo

@@ -0,0 +1,12 @@
+#[contract]
+
+mod co{
+    use integer::u128_to_felt;
+    use warplib::warp_add;
+
+    #[view]
+    fn f(num: u128){
+        let x = warp_add(num, 1);
+    }
+}
+