enumerated type

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 03:35:33. See the history of this page for a list of all contributions to it.