sig
  type prefix_context
  val build_prefix_context : unit -> Prefix_context.prefix_context
  val push_nsenv_in_prefix_context :
    Prefix_context.prefix_context ->
    Namespace_context.nsenv -> Namespace_context.binding_table
  val pop_nsenv_from_prefix_context : Prefix_context.prefix_context -> unit
end