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