MenhirLib.ErrorReports
val wrap : (Lexing.lexbuf -> 'token) -> (Lexing.position * Lexing.position) buffer * (Lexing.lexbuf -> 'token)
val wrap_supplier : (unit -> 'token * Lexing.position * Lexing.position) -> (Lexing.position * Lexing.position) buffer * (unit -> 'token * Lexing.position * Lexing.position)
val show : ('a -> string) -> 'a buffer -> string
val last : 'a buffer -> 'a
val extract : string -> (Lexing.position * Lexing.position) -> string