main module set8
%set debug_print_ccode=true
    declare
	// enumerations
	day is [Monday, Tuesday, Wednesday, Thursday, Friday,
		Saturday, Sunday]
	// sets
	days 		is set of day
	payday  	:static  days initially days (friday)
    enddeclare

    if payday < payday do
    endif
endmodule