sig
type value_index
val create_value_index : unit -> Physical_value_index.value_index
val add_item_to_value_index :
Physical_value_index.value_index ->
string -> Physical_value.item list -> unit
val get_item_from_value_index :
Physical_value_index.value_index ->
string -> Physical_value.item list list
type value_indices_hash
val init_value_indices_hash :
unit -> Physical_value_index.value_indices_hash
val build_value_indices_hash :
unit -> Physical_value_index.value_indices_hash
val add_value_index :
Physical_value_index.value_indices_hash ->
string -> Physical_value_index.value_index -> unit
val get_value_index :
Physical_value_index.value_indices_hash ->
string -> Physical_value_index.value_index
val merge_value_indices :
Physical_value_index.value_indices_hash ->
Physical_value_index.value_indices_hash ->
Physical_value_index.value_indices_hash
end