1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
$ifndef _STRING
$define _STRING
$include <arith.sail>
val eq_string = {lem: "eq", _: "eq_string"} : (string, string) -> bool
infixl 9 ^-^
val concat_str = {lem: "stringAppend", _: "concat_str"} : (string, string) -> string
val "dec_str" : int -> string
val "hex_str" : int -> string
val bits_str = "string_of_bits" : forall 'n. vector('n, dec, bit) -> string
val concat_str_bits : forall 'n. (string, vector('n, dec, bit)) -> string
function concat_str_bits(str, x) = concat_str(str, bits_str(x))
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
$endif
|
