diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 132af6f5..188a0703 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -467,6 +467,8 @@ let string_drop (str, n) = let n = Big_int.to_int n in String.sub str n (String. let string_length str = Big_int.of_int (String.length str) +let string_append (s1, s2) = s1 ^ s2 + let lt_int (x, y) = Big_int.less x y let set_slice (out_len, slice_len, out, n, slice) = |