Module Store_intf

module Store_intf: sig .. end
Specification of indices used to index elements in stores

module type INDEX = sig .. end
module type STORE = sig .. end
Interface to stores