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