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