This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International
The universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top; the type which contains every possible object in the type system of interest