Module Memory_domains.Memory_domain

module Make (Value : Memory_sig.FIXED_SIZE_VALUE_DOMAIN) (Block : Memory_sig.BLOCK with module Scalar = Value.Scalar and module Value = Value) (Memory : Memory_sig.MEMORY with module Scalar = Value.Scalar and module Address := Value and module Block := Block) : sig ... end