diff options
Diffstat (limited to 'lib/string.sail')
| -rw-r--r-- | lib/string.sail | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/string.sail b/lib/string.sail index d5fe297e..9e6044b9 100644 --- a/lib/string.sail +++ b/lib/string.sail @@ -7,8 +7,6 @@ val eq_string = {lem: "eq", coq: "generic_eq", _: "eq_string"} : (string, string overload operator == = {eq_string} -infixl 9 ^-^ - val concat_str = {coq: "String.append", lem: "stringAppend", _: "concat_str"} : (string, string) -> string val "dec_str" : int -> string @@ -25,8 +23,6 @@ val concat_str_dec : (string, int) -> string function concat_str_dec(str, x) = concat_str(str, dec_str(x)) -overload operator ^-^ = {concat_str, concat_str_bits, concat_str_dec} - val print_endline = "print_endline" : string -> unit val prerr_endline = "prerr_endline" : string -> unit |