bottom type

type that is the subtype of all other types; equivalent to the empty type if uninhabited

en-GB/ˈbɒtəm ˈtaɪp/
en-US/ˈbɑdəm ˈtaɪp/

Categories:

data type