Module `Memory_domains.Flexible_array_member`

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

module MakeComplete
  (Sub : Memory_sig.WHOLE_MEMORY_DOMAIN)
  (Block : 
    Memory_sig.BLOCK
      with module Scalar = Sub.Scalar
       and module Value = Sub.Address) : 
  Memory_sig.COMPLETE_DOMAIN
    with module Scalar = Sub.Scalar
     and module Value.Context = Sub.Address.Scalar.Context
     and module Value.Scalar = Sub.Address.Scalar

Module Memory_domains.Flexible_array_member

Module `Memory_domains.Flexible_array_member`