1 files changed, 9 insertions, 1 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli
index 8ce577e..a82c07c 100644
--- a/lib/syntax/tree.mli
+++ b/lib/syntax/tree.mli
@@ -43,9 +43,17 @@ module Ast : sig
   [@@deriving eq, show]
 end
 
+(** Extend the default Expression module with an eq operator *)
+module Expression : sig
+  include S.Expression with type t' = S.pos Ast.expression
+
+  val eq : (S.pos -> S.pos -> bool) -> t -> t -> bool
+  val hash : (S.pos -> int) -> t -> int
+end
+
 include
   S.Analyzer
-    with type Expression.t' = S.pos Ast.expression
+    with module Expression := Expression
      and type Instruction.t' = S.pos Ast.statement
      and type Location.t = S.pos * S.pos Ast.statement list
      and type context = unit