top type
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
en-GB/ˈtɒp ˈtaɪp/
en-US/ˈtɑp ˈtaɪp/
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