Pascal Report  189  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 