Module Memory_domains.Wholify

module MakeAddressOnly (SubAddress : Memory_sig.ADDRESS) : Memory_sig.FIXED_SIZE_VALUE_DOMAIN with module Scalar = SubAddress.Scalar

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