MenhirLib.LexerUtil
val init : string -> Lexing.lexbuf -> Lexing.lexbuf
val read : string -> string * Lexing.lexbuf
val newline : Lexing.lexbuf -> unit
val range : (Lexing.position * Lexing.position) -> string
val tabulate : ('a -> bool) -> (unit -> 'a) -> unit -> 'a