Inductive season : Set := | Spring : season | Summer : season | Autumn : season | Winter : season . (* for US readers *) Definition Fall := Autumn.