bottom type (Q3546108)
Jump to navigation
Jump to search
type that is the subtype of all other types; equivalent to the empty type if uninhabited
- zero type
- empty type
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | bottom type |
type that is the subtype of all other types; equivalent to the empty type if uninhabited |
|
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Bottom type
- frwiki Type vide
- jawiki ボトム型
- ruwiki Низший тип
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- wikifunctionswiki Z23