Module Memory_domains.Value_union_concatenation

module MakeAddressOnly (Sub : Memory_sig.FIXED_SIZE_VALUE_DOMAIN) : Memory_sig.FIXED_SIZE_VALUE_DOMAIN with module Scalar = Sub.Scalar and module Context = Sub.Context

module Make (Sub : Memory_sig.WHOLE_MEMORY_DOMAIN) : sig ... end