From a70c88bd727c7938c3d8d1355bf5474546d7d72e Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 7 Oct 2023 10:54:39 +0200
Subject: Updated the common interface in order to require the report

---
 lib/syntax/S.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/syntax/S.ml')

diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml
index 63fcd08..6bdbc9d 100644
--- a/lib/syntax/S.ml
+++ b/lib/syntax/S.ml
@@ -19,7 +19,8 @@ type ('a, 'b) variable = { pos : 'a; name : string; index : 'b option }
 (** Represent the evaluation over an expression *)
 module type Expression = sig
   type 'a obs
-  type repr
+  type t
+  type repr = Report.t list -> t * Report.t list
 
   type variable = { pos : pos; name : string; index : repr option }
   (** 
-- 
cgit v1.2.3