1 2 3 4 5 6 7 8 9 10
concrete WeekdayProlog of Weekday = open ResProlog, Prelude in { lincat WDay = SS ; lin Mon = ss "monday" ; Tue = ss "tuesday" ; }