sig
  val had_errors : unit -> bool
  val clear_errors : unit -> unit
  val push_errors : unit -> unit
  val pop_errors : unit -> unit
end