Module Flexible_array_member.MakeComplete

Parameters

module Sub : Memory_sig.WHOLE_MEMORY_DOMAIN

module Block : Memory_sig.BLOCK with module Scalar = Sub.Scalar and module Value = Sub.Address

Signature

module Scalar = Sub.Scalar

module Value : Memory_sig.FIXED_SIZE_VALUE_DOMAIN with module Scalar = Scalar with module Context = Sub.Address.Scalar.Context with module Scalar = Sub.Address.Scalar

module Block : Memory_sig.BLOCK with module Scalar = Scalar and module Value = Value

module Memory : Memory_sig.MEMORY with module Scalar = Scalar and module Address := Value and module Block := Block