An enumerated type is any type given by a finite disjoint sum of unit types.

…

Every enumerated type is a subtype of the natural numbers type.

…

- Wikipedia,
*Enumerated type*

Last revised on January 24, 2017 at 08:35:33. See the history of this page for a list of all contributions to it.