Definition of "uninhabited"

uninhabited

/ˌʌn.ɪnˈhæb.ɪ.tɪd/

adjective
not comparable
1. Not inhabited; having no inhabitants.
2. (type theory, of a type) Not having a term.
  Quotations
  This is not a contradiction since an uninhabited type has no complete terms and a probability distribution over an empty type is ill defined anyway.
  2017, Stergios Chatzikyriakidis, Zhaohui Luo, editors, Modern Perspectives in Type-Theoretical Semantics, Springer, page 282
  Unlike Null, Nothing has no instances. We say the type is uninhabited.]
  [2021, Dean Wampler, chapter 13, in Programming Scala, 3rd edition, O'Reilly