Home
Random
Log in
Settings
Donate
About Wikifunctions
Disclaimers
Search
Nothing
Z23
Type
type that is the subtype of all other types; equivalent to the empty type if uninhabited
Language
Watch
This page displays in a limited way without JavaScript.