From 673da2554d3e667e0a62d5c7bbf30999f1295dc1 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 4 Nov 2023 11:54:08 +0100
Subject: List all the available tests on command line

---
 lib/syntax/check.mli | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/lib/syntax/check.mli b/lib/syntax/check.mli
index 759a07a..daacf47 100644
--- a/lib/syntax/check.mli
+++ b/lib/syntax/check.mli
@@ -35,6 +35,8 @@ val build :
     Return the result type which hold the final result value, and checker
     itself. *)
 
+val get_module : t -> (module S.Analyzer)
+
 type result
 
 val get : 'a Id.typeid -> result -> 'a option
-- 
cgit v1.2.3