Module Memory_domains.Block_smashing

module Make (Value : Memory_sig.FIXED_SIZE_VALUE_DOMAIN) (Offset : Memory_sig.OFFSET with module Scalar = Value.Scalar) : Memory_sig.BLOCK with module Scalar = Value.Scalar and module Value = Value and module Offset = Offset