4.47 Attribute Range_Length

typ'Range_Length for any discrete type typ yields the number of values represented by the subtype (zero for a null range). The result is static for static subtypes. Range_Length applied to the index subtype of a one dimensional array always gives the same result as Length applied to the array itself.