Module MenhirLib.ErrorReportsSource

Sourcetype 'a buffer
Sourceval wrap : (Lexing.lexbuf -> 'token) -> (Lexing.position * Lexing.position) buffer * (Lexing.lexbuf -> 'token)
Sourceval wrap_supplier : (unit -> 'token * Lexing.position * Lexing.position) -> (Lexing.position * Lexing.position) buffer * (unit -> 'token * Lexing.position * Lexing.position)
Sourceval show : ('a -> string) -> 'a buffer -> string
Sourceval last : 'a buffer -> 'a
Sourceval extract : string -> (Lexing.position * Lexing.position) -> string
Sourceval sanitize : string -> string
Sourceval compress : string -> string
Sourceval shorten : int -> string -> string
Sourceval expand : (int -> string) -> string -> string