Merge branch 'sail2' of github.com:rems-project/sail into sail2

1 files changed, 6 insertions, 0 deletions

diff --git a/src/ast_util.mli b/src/ast_util.mli
index bbbde27f..9f815899 100644
--- a/src/ast_util.mli
+++ b/src/ast_util.mli
@@ -248,6 +248,10 @@ module NexpSet : sig
   include Set.S with type elt = nexp
 end
 
+module NexpMap : sig
+  include Map.S with type key = nexp
+end
+
 module BESet : sig
   include Set.S with type elt = base_effect
 end
@@ -316,3 +320,5 @@ val ids_of_defs : 'a defs -> IdSet.t
 
 val pat_ids : 'a pat -> IdSet.t
 val subst : id -> 'a exp -> 'a exp -> 'a exp
+
+val hex_to_bin : string -> string