diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 54c88cb8..6cbabed7 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -26,6 +26,7 @@ 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 |