Module Store_intf.INDEX.Map


module Map: Map.S  with type key = t
Efficient maps of indices