bottom type
(Q3546108)
type that is the subtype of all other types; equivalent to the empty type if uninhabited
type that is the subtype of all other types; equivalent to the empty type if uninhabited
Language:
Current Data About
bottom type
other details
| aliases |
zero type empty type |
| description | type that is the subtype of all other types; equivalent to the empty type if uninhabited |
External Links
| (P646) |
/m/0b5h1x
|
| (P6366) |
2776722363
|