Data.SBV.Examples.Misc.Enumerate
data
E
type
SE
elts
four
maxE
minE