diff options
Diffstat (limited to 'riscv/prelude.sail')
| -rw-r--r-- | riscv/prelude.sail | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/riscv/prelude.sail b/riscv/prelude.sail index 153b41db..67089228 100644 --- a/riscv/prelude.sail +++ b/riscv/prelude.sail @@ -6,11 +6,16 @@ union option ('a : Type) = {None : unit, Some : 'a} val spaces : unit <-> string val opt_spaces : unit <-> string val def_spaces : unit <-> string -val hex_bits_12 : bits(12) <-> string +val hex_bits_12 : bits(12) <-> string val hex_bits_12_forwards = "string_of_bits" : bits(12) -> string val "hex_bits_12_matches_prefix" : string -> option((bits(12), nat)) +val hex_bits_20 : bits(20) <-> string +val hex_bits_20_forwards = "string_of_bits" : bits(20) -> string +val "hex_bits_20_matches_prefix" : string -> option((bits(20), nat)) + + val spaces_forwards : unit -> string function spaces_forwards () = " " val spaces_backwards : string -> unit |