fact: Definition month_season (m:month) : season := match m with | January | February | March => Winter | April | May | June => Spring | July | August | September => Summer | October | November | December => Autumn end.
imports: seasons month