Implementation of stores
module IntIx : Store_intf.INDEX
module Make : functor (Ix : Store_intf.INDEX) -> Store_intf.STORE
module IntStore : Store_intf.STORE