with Ada.Text_io; use Ada.Text_io;
procedure enum7 is
type Day is (Sunday, Monday, Tuesday, Wednesday,
Thursday, Friday, Saturday);
subtype WeekDay is Day range Monday .. Friday;
package Day_IO is new Enumeration_IO(Day);
use Day_IO;
begin
for d in WeekDay'range loop
put(d);
end loop;
put(WeekDay'First);
end enum7;