diff options
| author | Chimrod <> | 2023-10-03 18:19:15 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (patch) | |
| tree | 1627ae50da1a87e5952b5fab21b7290b0555041e /lib/qparser/lexbuf.mli | |
| parent | 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 (diff) | |
Switched the keyword from string to a sum type
Diffstat (limited to 'lib/qparser/lexbuf.mli')
| -rw-r--r-- | lib/qparser/lexbuf.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/qparser/lexbuf.mli b/lib/qparser/lexbuf.mli index 41f07d1..97a4d65 100644 --- a/lib/qparser/lexbuf.mli +++ b/lib/qparser/lexbuf.mli @@ -23,3 +23,5 @@ val reset_level : t -> unit val level : t -> int (** Return the nested expression level *) + +val rollback : t -> unit |