Ada Programming/Attributes/'Range Length

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