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