e
- Instance of
- Subclass of
Overview
All data
6 statements · 0% with external sources · numbers in brackets are citations
6 statements · 0% with external sources · numbers in brackets are citations
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In type theory, an empty type or absurd type, typically denoted is a type with no terms. Such a type may be defined as the nullary coproduct. It may also be defined as the polymorphic type