6.1.1 Enumeration representation - JulTob/Ada GitHub Wiki

The representation clause (the numeric value) can be stablished with a clause.

type Day is
  (Monday,
   Tuesday,
   Wednesday,
   Thursday,
   Friday,
   Saturday,
   Sunday);

for Day use
  (Monday => 10,
   Tuesday => 11,
   Wednesday => 12,
   Thursday => 13,
   Friday => 14,
   Saturday => 15,
   Sunday => 16);