For a given index position of an array, the index subtype is denoted by the type mark of the corresponding index subtype definition.