sig
  val logChannel : Pervasives.out_channel Pervasives.ref
  val debugFlag : bool Pervasives.ref
  val verboseFlag : bool Pervasives.ref
  val colorFlag : bool Pervasives.ref
  val redEscStr : string
  val greenEscStr : string
  val yellowEscStr : string
  val blueEscStr : string
  val purpleEscStr : string
  val cyanEscStr : string
  val whiteEscStr : string
  val resetEscStr : string
  val warnFlag : bool Pervasives.ref
  exception Error
  val error : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val bug : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val unimp : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val s : 'a -> 'b
  val hadErrors : bool Pervasives.ref
  val warn : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val warnOpt : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val log : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val logg : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val null : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
  val pushContext : (unit -> Pretty.doc) -> unit
  val popContext : unit -> unit
  val showContext : unit -> unit
  val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b
  val newline : unit -> unit
  val newHline : unit -> unit
  val getPosition : unit -> int * string * int
  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 : unit -> Errormsg.location -> Pretty.doc
  val d_hloc : unit -> Errormsg.location -> Pretty.doc
  val getLocation : unit -> Errormsg.location
  val parse_error : string -> 'a
  val locUnknown : Errormsg.location
  val readingFromStdin : bool Pervasives.ref
  val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
  val startParsingFromString :
    ?file:string -> ?line:int -> string -> Lexing.lexbuf
  val finishParsing : unit -> unit
end