uninhabited

Definition

Not inhabited; having no inhabitants.

Etymology

From un- + inhabited.

Example Sentences

• "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."
• "Unlike Null, Nothing has no instances. We say the type is uninhabited."