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