VWMA, chapter 23 (Expressions and constants), page 393 Manifest Array rule A Manifest_array `<>' is a valid expression of type `ARRAY [T]' if and only if the type of every `ei' conforms to `T'.