path: root/lib/checks/type_of.mli

include Qsp_syntax.S.Analyzer
(** 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. *)