Fix some builtins, and make mod_int return natural

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/arith.sail b/lib/arith.sail
index 8825ac2f..20231de1 100644
--- a/lib/arith.sail
+++ b/lib/arith.sail
@@ -94,7 +94,7 @@ val mod_int = {
   lem: "integerMod",
   c: "tmod_int",
   coq: "Z.rem"
-} : (int, int) -> int
+} : (int, int) -> nat
 
 overload operator % = {mod_int}
 
@@ -104,6 +104,6 @@ val abs_int = {
   lem: "abs_int",
   c: "abs_int",
   coq: "Z.abs"
-} : (int, int) -> int
+} : int -> int
 
 $endif