- particular object type, called the element type. Array types are characterized
- by their element type and by the number of elements in the array. An array type
- is said to be derived from its element type, and if its element is type T, the
- array type is sometimes called "array of T". The construction of an array type
- from an element type is called "array type derivation".
+ particular object type, called the element type. Array types are characterized
+ by their element type and by the number of elements in the array. An array type
+ is said to be derived from its element type, and if its element is type T, the
+ array type is sometimes called "array of T". The construction of an array type
+ from an element type is called "array type derivation".