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