New test for duplicates evalutations in the code

1 files changed, 3 insertions, 2 deletions

diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli
index a82c07c..9ed442b 100644
--- a/lib/syntax/tree.mli
+++ b/lib/syntax/tree.mli
@@ -47,8 +47,9 @@ end
 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
+  val eq : (S.pos -> S.pos -> bool) -> t' -> t' -> bool
+  val hash : (S.pos -> int) -> t' -> int
+  val exists : f:(t' -> bool) -> t' -> bool
 end
 
 include