diff options
| author | Jon French | 2018-05-01 10:35:07 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | 66047739ae2c5b4e84084930754d78bc21927b8e (patch) | |
| tree | 393b60e49e6280de4b46c0a89204923f4ff54cdf /test | |
| parent | f8abc90f5e7ae8e25f2750a186eee2ef30021cf5 (diff) | |
rewriting of builtin mappings e.g. int
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 |