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.
…
Last revised on January 24, 2017 at 08:35:33. See the history of this page for a list of all contributions to it.