load-type riscv assembly

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