From 3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 19 Jul 2025 11:18:24 +0200
Subject: Added dependencies system between the modules in the checks

---
 lib/checks/check.mli | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/checks/check.mli')

diff --git a/lib/checks/check.mli b/lib/checks/check.mli
index ebed0df..34d953f 100644
--- a/lib/checks/check.mli
+++ b/lib/checks/check.mli
@@ -13,19 +13,19 @@
       end)
     ]} *)
 
-val get_module : Qsp_syntax.Catalog.ex -> (module Qsp_syntax.S.Analyzer)
-
 type result
 
 val get : 'a Type.Id.t -> result -> 'a option
 (** The method [get] can be used to get the internal value for one of the
     checker used. *)
 
+val set : 'a Type.Id.t -> result -> 'a -> result option
+
 module Make (A : sig
-  val t : Qsp_syntax.Catalog.ex array
+  val t : Qsp_syntax.Identifier.t array
 end) : sig
   include
-    Qsp_syntax.S.Analyzer
+    Qsp_syntax.Analyzer.T
       with type Location.t = result array
        and type context = result array
 end
-- 
cgit v1.2.3