sig
  val add_identifier : (string -> unit) Stdlib.ref
  val add_type : (string -> unit) Stdlib.ref
  val push_context : (unit -> unit) Stdlib.ref
  val pop_context : (unit -> unit) Stdlib.ref
end