From 65164f2ebe61a566d96119c2cde23eee6771007b Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 9 Dec 2024 10:13:50 +0100
Subject: Splitted the code and declare the test catalog in it’s own module
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lib/syntax/catalog.mli | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 lib/syntax/catalog.mli

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

diff --git a/lib/syntax/catalog.mli b/lib/syntax/catalog.mli
new file mode 100644
index 0000000..a256c17
--- /dev/null
+++ b/lib/syntax/catalog.mli
@@ -0,0 +1,30 @@
+type ex =
+  | E : {
+      module_ :
+        (module S.Analyzer
+           with type Expression.t = 'a
+            and type Expression.t' = 'b
+            and type Instruction.t = 'c
+            and type Instruction.t' = 'd
+            and type Location.t = 'e
+            and type context = 'f);
+      expr_witness : 'a Type.Id.t;
+      expr' : 'b Type.Id.t;
+      instr_witness : 'c Type.Id.t;
+      instr' : 'd Type.Id.t;
+      location_witness : 'e Type.Id.t;
+      context : 'f Type.Id.t;
+    }
+      -> ex  (** Type of check to apply *)
+
+val build :
+  (module S.Analyzer
+     with type Expression.t = _
+      and type Expression.t' = _
+      and type Instruction.t = _
+      and type Instruction.t' = _
+      and type Location.t = 'a
+      and type context = _) ->
+  'a Type.Id.t * ex
+(** Build a new check from a module following S.Analyzer signature. ypeid Return
+    the result type which hold the final result value, and checker itself. *)
-- 
cgit v1.2.3