The abstract supertype of all types. A value of type
Anything may be a definite value of type
it may be the
null value. A method declared
considered to have the return type
Note that the bottom type
Nothing, representing the
intersection of all types, is a subtype of all types.