module type INDEX : sig ... end
Specification of indices used to index elements in stores
module type STORE : sig ... end
Interface to stores