bottom type

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

زمرے: