Finite type

A type with a bounded number of inhabitants (like bool with 2 or enum with fixed variants), often enabling exhaustive enumeration or decidable equality.

A type with a bounded number of inhabitants (like bool with 2 or enum with fixed variants), often enabling exhaustive enumeration or decidable equality. Contrast with Infinite type.