sig
type name_index =
Physical_value.dom_tuple Dm_atomic_btree_util.full_btree_index
type name_index_handler =
Physical_value.dom_tuple Dm_atomic_btree_util.full_btree_handler
type name_indices =
(Namespace_symbols.relem_symbol * Physical_name_index.name_index) list
type name_indices_handler =
(Namespace_symbols.relem_symbol *
Physical_name_index.name_index_handler)
list
type name_indices_hash
val init_name_indices_hash : unit -> Physical_name_index.name_indices_hash
val build_name_indices_hash :
Physical_name_index.name_indices_handler ->
Physical_name_index.name_indices_hash
val get_name_index :
Physical_name_index.name_indices_hash ->
Namespace_symbols.relem_symbol -> Physical_name_index.name_index_handler
val get_opt_name_index :
Physical_name_index.name_indices_hash ->
Namespace_symbols.relem_symbol ->
Physical_name_index.name_index_handler option
val get_all_name_indices :
Physical_name_index.name_indices_hash ->
Physical_name_index.name_indices_handler
val create_name_index : unit -> Physical_name_index.name_index_handler
val add_item_to_name_index :
Physical_name_index.name_index_handler ->
Dm.node -> Nodeid.prepostint_docorder -> unit
val add_pre_order_item_to_name_index :
Physical_name_index.name_index_handler -> int -> int
val add_post_order_item_to_name_index :
Physical_name_index.name_index_handler -> int -> Dm.node -> int -> int
val no_name_indices : Physical_name_index.name_indices_handler
val add_new_name_index :
Physical_name_index.name_indices_hash ->
Namespace_symbols.relem_symbol ->
Physical_name_index.name_index_handler -> unit
val merge_name_indices :
Physical_name_index.name_indices_hash ->
Physical_name_index.name_indices_hash ->
Physical_name_index.name_indices_hash
val pre_cursor_of_name_index_at_pos :
Physical_name_index.name_index ->
int -> Physical_value.item Physical_value.sequence Cursor.cursor
val pre_cursor_of_name_index_from_post :
Physical_name_index.name_index ->
int -> Physical_value.item Physical_value.sequence Cursor.cursor
val pre_cursor_of_name_index_from_window :
Physical_name_index.name_index ->
int -> int -> Physical_value.item Physical_value.sequence Cursor.cursor
end