Module Prefix_context

module Prefix_context: sig .. end

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