MenhirLib.ErrorReportsval 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 -> stringval last : 'a buffer -> 'aval extract : string -> (Lexing.position * Lexing.position) -> string