sig
  exception Typing_error of string
  exception Not_yet of string
  val untypable : string -> 'a
  val not_yet : string -> 'a
  val handle : ('-> 'a) -> '-> 'a
  val generic_handle : ('-> 'b) -> '-> '-> 'b
  val nb_untypable : unit -> int
  val nb_not_yet : unit -> int
  val process_error : exn -> unit
end