Skip to content
EntityQ3546108· pop 5· linked from 100 articles

Also known as zero type, empty type

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

Wikidata facts

Subclass of
data type
Show 1 more fact
studied by
type theory

via Wikidata · CC0

Available in 5 languages

via Wikidata sitelinks · CC0