Experiment with pretty-printing non-atomic nexps in Lem

1 files changed, 9 insertions, 0 deletions

diff --git a/src/ast_util.mli b/src/ast_util.mli
index ef367e4e..d497a687 100644
--- a/src/ast_util.mli
+++ b/src/ast_util.mli
@@ -187,6 +187,11 @@ module Kid : sig
   val compare : kid -> kid -> int
 end
 
+module Nexp : sig
+  type t = nexp
+  val compare : nexp -> nexp -> int
+end
+
 module BE : sig
   type t = base_effect
   val compare : base_effect -> base_effect -> int
@@ -196,6 +201,10 @@ module IdSet : sig
   include Set.S with type elt = id
 end
 
+module NexpSet : sig
+  include Set.S with type elt = nexp
+end
+
 module BESet : sig
   include Set.S with type elt = base_effect
 end