Parameter Make.Sub

module Scalar : Sig.BASE

module Offset : Memory_sig.OFFSET with module Scalar = Scalar

module Make_Block (Value : Memory_sig.VALUE with module Scalar = Scalar) : Memory_sig.BLOCK with module Scalar = Scalar and module Value = Value and module Offset = Offset and type boolean = Value.boolean