sig
  val newline : unit -> unit
  val currentLoc : unit -> Lexing.position * Lexing.position
  val setCurrentWorkingDirectory : string -> unit
  val setCurrentFile : ?normalize:bool -> string -> unit
  val setCurrentLine : int -> unit
  val startParsing : string -> Lexing.lexbuf
  val finishParsing : unit -> unit
  val pp_context_from_file :
    ?ctx:int ->
    ?start_line:int -> Format.formatter -> Lexing.position -> unit
  val parse_error :
    ?source:Lexing.position ->
    ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
  val had_errors : unit -> bool
  val clear_errors : unit -> unit
end