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/lexer.mli | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'lib/lexer.mli')

diff --git a/lib/lexer.mli b/lib/lexer.mli
index 0a8ec12..65e9fa0 100644
--- a/lib/lexer.mli
+++ b/lib/lexer.mli
@@ -4,11 +4,5 @@ end
 
 exception EOF
 
-val lexer :
-  (module Encoding) ->
-  Sedlexing.lexbuf ->
-  unit ->
-  Tokens.token * Lexing.position * Lexing.position
-(** Apply the lexer to the source *)
-
-val discard : Sedlexing.lexbuf -> unit
+val token : Lexbuf.t -> Tokens.token
+val discard : Lexbuf.t -> unit
-- 
cgit v1.2.3