sig
type load_context
val build_load_context :
Physical_name_index.name_indices_handler ->
Galax_load_context.load_context
val add_element_to_name_index :
Galax_load_context.load_context ->
Namespace_symbols.relem_symbol ->
Dm.node -> Nodeid.prepostint_docorder -> unit
val add_pre_order_to_name_index :
Galax_load_context.load_context ->
Namespace_symbols.relem_symbol -> int -> unit
val add_post_order_to_name_index :
Galax_load_context.load_context ->
Namespace_symbols.relem_symbol -> Dm.node -> int -> int -> unit
val set_postorder :
Galax_load_context.load_context -> Nodeid.postint_docorder -> unit
val unset_postorder : Galax_load_context.load_context -> unit
val get_postorder :
Galax_load_context.load_context -> Nodeid.postint_docorder
val push_non_labeled_event : Galax_load_context.load_context -> unit
val push_labeled_event : Galax_load_context.load_context -> unit
val pop_event : Galax_load_context.load_context -> Dm.node -> unit
val get_result : Galax_load_context.load_context -> Dm.node list
end