PowerAda 45
From OC Systems Wiki!
(45) The meaning of Size for indefinite subtypes.
See 13.3(48).
The 'Size attribute will return the largest possible size of any object of the indefinite subtype.
See 13.3(48).
The 'Size attribute will return the largest possible size of any object of the indefinite subtype.