http://www.ada-auth.org/standards/2xrm/html/RM-3-8-1.html#p24отдельно перечисление Device, отдельно запись с дискриминантом Peripheral
можно по диапазону Device ходить циклом for, можно индексом массива сделать, можно другие записи с дискриминантом типа Device объявлять
для значений типа Device есть 'Succ и 'Pred, а также 'Val, который из целого числа сделает значение перечисления, если значение не выходит за поддиапазон