sig
  val newline : unit -> unit
  val newHline : unit -> unit
  val getPosition : unit -> Lexing.position * Lexing.position
  val getHPosition : unit -> int * string
  val setHLine : int -> unit
  val setHFile : string -> unit
  val setCurrentLine : int -> unit
  val setCurrentFile : string -> unit
  type location = { file : string; line : int; hfile : string; hline : int; }
  val d_loc : Errorloc.location Pretty_utils.formatter
  val d_hloc : Errorloc.location Pretty_utils.formatter
  val getLocation : unit -> Errorloc.location
  val parse_error : string -> 'a
  val locUnknown : Errorloc.location
  val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
  val finishParsing : unit -> unit
  val first_filename_encountered : string option Pervasives.ref
end