Yes, this is a feature of standard Ada. https://en.wikibooks.org/wiki/Ada_Programming/Type_System#Named_subtype https://en.wikibooks.org/wiki/Ada_Programming/T

Yes, this is a feature of standard Ada. https://en.wikibooks.org/wiki/Ada_Programming/Type_System#Named_subtype https://en.wikibooks.org/wiki/Ada_Programming/Type_System#Na...