sig
  module IntIx : Store_intf.INDEX
  module Make : functor (Ix : Store_intf.INDEX-> Store_intf.STORE
  module IntStore : Store_intf.STORE
end