Make.Submodule Offset : Memory_sig.OFFSET with module Scalar = Scalarmodule Address : Memory_sig.ADDRESS with module Scalar = Scalarmodule Make_Memory
(Block :
Memory_sig.BLOCK with module Scalar = Scalar and module Offset = Offset) :
Memory_sig.MEMORY
with module Scalar = Scalar
and module Address := Address
and module Block := Block