From 5e0b521a2ccce4bd19cf5d08176616f760180c11 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 29 Sep 2023 09:05:45 +0200
Subject: Made the lexer buffer abstract

---
 lib/lexbuf.mli | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 lib/lexbuf.mli

(limited to 'lib/lexbuf.mli')

diff --git a/lib/lexbuf.mli b/lib/lexbuf.mli
new file mode 100644
index 0000000..cf93c7e
--- /dev/null
+++ b/lib/lexbuf.mli
@@ -0,0 +1,8 @@
+type t
+
+val start : t -> unit
+val buffer : t -> Sedlexing.lexbuf
+val positions : t -> Lexing.position * Lexing.position
+val content : t -> string
+val from_lexbuf : Sedlexing.lexbuf -> t
+val tokenize : (t -> 'a) -> t -> unit -> 'a * Lexing.position * Lexing.position
-- 
cgit v1.2.3