Merge branch 'mappings' into sail2

1 files changed, 7 insertions, 0 deletions

diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail
index 05c7bc9e..cf64b577 100644
--- a/test/ocaml/prelude.sail
+++ b/test/ocaml/prelude.sail
@@ -3,6 +3,13 @@ default Order dec
 $include <prelude.sail>
 
 val eq_string = "eq_string" : (string, string) -> bool
+val string_startswith = "string_startswith" : (string, string) -> bool
+val string_drop = "string_drop" : (string, nat) -> string
+val string_length = "string_length" : string -> nat
+val string_append = "string_append" : (string, string) -> string
+val maybe_int_of_prefix = "maybe_int_of_prefix" : string -> option((int, nat))
+val maybe_nat_of_prefix = "maybe_nat_of_prefix" : string -> option((nat, nat))
+val maybe_int_of_string = "maybe_int_of_string" : string -> option(int)
 
 val eq_real = "eq_real" : (real, real) -> bool