Parameter MakeComplete.Sub

module Scalar : Sig.BASE

module Address : Memory_sig.FIXED_SIZE_VALUE_DOMAIN with module Scalar = Scalar

module Make_Memory (Block : Memory_sig.BLOCK with module Scalar = Scalar) : Memory_sig.MEMORY with module Scalar = Scalar and module Address := Address and module Block := Block