diff options
| author | Chimrod <> | 2023-09-29 10:33:48 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 10:34:40 +0200 |
| commit | 7de7b756e6e3168a5bfb579470031d999a6e8585 (patch) | |
| tree | a8d15f49d9bccdedc82325026b1940af3c0cc68d /lib/lexbuf.mli | |
| parent | 1f79e8f1f0f59748497665ccee544163c5136562 (diff) | |
Cleaned the code, removed the old Ephemeron trick
Diffstat (limited to 'lib/lexbuf.mli')
| -rw-r--r-- | lib/lexbuf.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/lexbuf.mli b/lib/lexbuf.mli index b058f3c..918c011 100644 --- a/lib/lexbuf.mli +++ b/lib/lexbuf.mli @@ -17,3 +17,9 @@ val content : t -> string val set_start_position : t -> Lexing.position -> unit val tokenize : (t -> 'a) -> t -> unit -> 'a * Lexing.position * Lexing.position +val incr_level : t -> unit +val decr_level : t -> unit +val reset_level : t -> unit + +val level : t -> int +(** Return the nested expression level *) |