diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 6a8c703f..c2c5133f 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -2,7 +2,16 @@ default Order dec $include <prelude.sail> +union option ('a : Type) = {None : unit, Some : 'a} + 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 |