bottom type (Q7265170)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | bottom type |
type that is the subtype of all other types; equivalent to the empty type if uninhabited |
|
Statements
Identifiers
2776722363
0 references
/m/0b5h1x
0 references
