, the universal supertype--the type which all other types are (directly or indirectly) a subtype of. Present in most languages; where it goes by names such as Object (many OO languages), GENERAL (
), "t" (
refers to it as the greek letter alpha.
In many languages,
is abstract--there are no elements of
which are not elements of some other (declared) type; though this isn't true in Lisp and
("new Object" is perfectly legal Java).
Not to be confused with
of this page (last edited
March 14, 2012
with title or text search