Module Galax_load_context

module Galax_load_context: sig .. end

type load_context 

val build_load_context : Physical_name_index.name_indices_handler -> load_context

val add_element_to_name_index : load_context ->
       Namespace_symbols.relem_symbol ->
       Dm.node -> Nodeid.prepostint_docorder -> unit

val add_pre_order_to_name_index : load_context ->
       Namespace_symbols.relem_symbol -> int -> unit

val add_post_order_to_name_index : load_context ->
       Namespace_symbols.relem_symbol -> Dm.node -> int -> int -> unit

val set_postorder : load_context -> Nodeid.postint_docorder -> unit

val unset_postorder : load_context -> unit

val get_postorder : load_context -> Nodeid.postint_docorder

val push_non_labeled_event : load_context -> unit

val push_labeled_event : load_context -> unit

val pop_event : load_context -> Dm.node -> unit

val get_result : load_context -> Dm.node list