From 4b47c572fc7122154813c8bb5da477c0f152f002 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 9 Oct 2023 13:25:59 +0200
Subject: Added an interface for the type_of syntax module

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

diff --git a/lib/syntax/type_of.mli b/lib/syntax/type_of.mli
new file mode 100644
index 0000000..719becd
--- /dev/null
+++ b/lib/syntax/type_of.mli
@@ -0,0 +1,7 @@
+(* The module [type_of] populate the report with differents inconsistency
+   errors in the types.
+
+   - Assigning a [string] value in an [integer] variable
+   - Comparing a [string] with an [integer]
+   - Giving the wrong type in the argument for a function and so one. *)
+include S.Analyzer with type Location.repr = Report.t list -> Report.t list
-- 
cgit v1.2.3