bottom type (Q2487)

From MaRDI portal
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
  • zero type
  • empty type

Statements

Q3546108
0 references