Data.SBV.Examples.Misc.Enumerate

data E

type SE

elts

four

maxE

minE