Previous
Up
Module
Store_intf.INDEX.Map
module
Map:
Map.S
with type key = t
Efficient maps of indices