From fc235a1d2b7f10e6b5b1d7ed4328e2f9f7714171 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Wed, 25 Oct 2023 22:23:06 +0200 Subject: Updated the documentation --- lib/qparser/idents.mli | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/qparser/idents.mli (limited to 'lib/qparser') diff --git a/lib/qparser/idents.mli b/lib/qparser/idents.mli new file mode 100644 index 0000000..9330cc7 --- /dev/null +++ b/lib/qparser/idents.mli @@ -0,0 +1,3 @@ +(** Table of the keywords in the langage *) + +val keyword_table : (string, Tokens.token) Hashtbl.t -- cgit v1.2.3