diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 83178aea..1960e56a 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -15,6 +15,9 @@ val eq_int = "eq_int" : (int, int) -> bool val eq_vec = "eq_list" : forall 'n. (bits('n), bits('n)) -> bool 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 eq_real = "eq_real" : (real, real) -> bool @@ -303,4 +306,4 @@ val pow2 = "pow2" : forall 'n. atom('n) -> atom(2 ^ 'n) val "print_int" : (string, int) -> unit -val "print_bits" : forall 'n. (string, bits('n)) -> unit
\ No newline at end of file +val "print_bits" : forall 'n. (string, bits('n)) -> unit |