Two conform ant array schemas (each with a single index type specification) are equivalent if all three of the following conditions are true. 

(a) The ordinal type identifiers in the index type specifications denote the same type. 

(b) Either each contains a component conformant-array schema and the component schemas are equivalent, or else each contains a component type identifier and the component type identifiers denote the same type. 

(c) Both schemas are packed conform ant-array schemas or else both are non-packed conform ant-array schemas. 

Example of two equivalent conformant array schemas: 

array [LI .. HI: Integer; L2 .. H2: Color) of packed array [L3 .. H3: T2) of T array [Lowl .. Highl: Integer) of array [Low2 .. High2: Color) of packed array [Low3 .. High3: T2) of T 

11.3.4. Conformability and conform ant types. An array type T (with a single index type) is said to be conformable with a conformant array schema s (with a single index type specification) if all of the following conditions are true. Let I represent the ordinal type identifier of the index type specification of s. 

(a) The index type of T is compatible with the type denoted by I. 

(b) Every value of the index type of T is a member of the set of values of the type denoted by I. 

(c) If s does not contain a conform ant-array schema, then the component type of T is the same as the type denoted by the type identifier in s; otherwise, the component type of T is conformable with the component schema of s. 

(d) T is packed if and only if s is a packed conform ant-array schema. 

Wherever conformability is required, it is an error if condition (b) does not hold. 

A type that is called a conformant type derived through s from T is an array type that has the same index type as T, is packed if and only if T 

