nLab
enumerated type

Contents

Contents

Idea

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

Definition

Properties

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

Examples

References

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