Domains.Wholify
module Make (Sub : Memory_sig.Memory_domain) (Address2Scalar : Memory_sig.Address_to_Scalar with module Scalar := Sub.Address.Scalar and module Address := Sub.Address) : sig ... end