Module Value_union_concatenation.Make

Parameters

module Sub : Memory_sig.WHOLE_MEMORY_DOMAIN

Signature

include Memory_sig.WHOLE_MEMORY_DOMAIN with module Scalar = Sub.Scalar and module Address.Context = Sub.Address.Context and module Address.Scalar = Sub.Address.Scalar

module Scalar = Sub.Scalar

module Address : Memory_sig.FIXED_SIZE_VALUE_DOMAIN with module Scalar = Scalar with module Context = Sub.Address.Context with module Scalar = Sub.Address.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