Module Namespace_context

module Namespace_context: sig .. end

type binding = Namespace_names.prefix * Namespace_names.uri 

type binding_table = binding list 

type nsenv 

val empty_nsenv : nsenv

val make_empty_nsenv : unit -> nsenv

val dump_nsenv : nsenv -> unit

val default_xquery_nsenv : nsenv

val default_xml_nsenv : nsenv

val default_xml_out_nsenv : unit -> nsenv

val default_all_nsenv : nsenv

val add_all_ns : nsenv ->
       binding_table -> nsenv

val add_all_ns_test : nsenv ->
       binding_table -> nsenv

val add_all_ns_xquery : nsenv ->
       binding_table -> nsenv

val filter_nsenv_in_scope : nsenv ->
       binding_table ->
       nsenv * binding_table

val get_ns_of_prefix : nsenv -> Namespace_names.prefix -> Namespace_names.uri

val make_binding : nsenv ->
       Namespace_names.rqname ->
       Namespace_names.uqname * binding option *
       binding

val make_attribute_binding : nsenv ->
       Namespace_names.rqname ->
       Namespace_names.uqname * binding option *
       binding

val active_bindings : nsenv -> binding_table

val delta_bindings : nsenv ->
       nsenv -> binding_table

val patch_bindings : nsenv ->
       binding_table -> nsenv

val flatten_bindings : nsenv -> binding_table

val cleanup_bindings : binding_table ->
       binding_table -> binding_table

val cleanup_out_bindings : binding_table ->
       binding_table -> binding_table

val cleanup_actual_out_bindings : binding_table ->
       binding_table -> binding_table

val same_nsenv : nsenv -> nsenv -> bool