with Ada.Text_io; use Ada.Text_io;
procedure enum5 is
type Day is (Sunday, Monday, Tuesday, Wednesday,
Thursday, Friday, Saturday);
package Day_IO is new Enumeration_IO(Day);
use Day_IO;
c, d: Day;
begin
c := Friday;
d := Monday;
put(Day'min(c, d));
new_line;
put(Day'max(c, d));
end enum5;