diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 39485769..61e62d76 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -186,6 +186,10 @@ let sint = function let add_int (x, y) = Big_int.add x y let sub_int (x, y) = Big_int.sub x y +let sub_nat (x, y) = + let z = Big_int.sub x y in + if Big_int.less z Big_int.zero then Big_int.zero else z + let mult (x, y) = Big_int.mul x y (* This is euclidian division from lem *) |