From baa258ac91df8a80209b322e8d42c5deb2ada536 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 15 Mar 2024 10:45:12 +0100
Subject: New test for duplicates evalutations in the code

---
 lib/syntax/tree.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/syntax/tree.mli')

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
-- 
cgit v1.2.3