Add lexer.mli

eilvelia · Oct 15, 2023 · 52a5fd8 · 52a5fd8
1 parent ee550d3
commit 52a5fd8
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/lexer.mli b/src/lexer.mli
@@ -0,0 +1,8 @@
+val main : Sedlexing.lexbuf -> Parser.token
+(** Note: Use [main_tokenizer] instead of [Sedlexing.with_tokenizer main]
+    to keep the string locations correct. *)
+
+val main_tokenizer
+  :  Sedlexing.lexbuf
+  -> unit -> Parser.token * Lexing.position * Lexing.position
+(** The KDL lexer. *)