From f73925e8b5ebcf8a63fc60d9cd741fc6e1ebe6b7 Mon Sep 17 00:00:00 2001 From: Mathieu Durero Date: Wed, 12 Jun 2024 08:43:57 +0200 Subject: [PATCH] Add Ocamldoc docstring --- src/irj_checker/irj_checker.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/irj_checker/irj_checker.ml b/src/irj_checker/irj_checker.ml index d8c20870c..94701e05c 100644 --- a/src/irj_checker/irj_checker.ml +++ b/src/irj_checker/irj_checker.ml @@ -13,6 +13,11 @@ You should have received a copy of the GNU General Public License along with this program. If not, see . *) +(** The Irj_checker Module is a simple entry point to use the Mlang IRJ file + parser in order to perform syntactic checks on test files. + + Usage: irj_checker.exe *) + let () = if Array.length Sys.argv <> 2 then ( Printf.eprintf "This program requires a test file as argument\n";