Next: built-in unique, Previous: built-in bottom, Up: built-in [Contents][Index]
A conventional type that is both the super–type of all the other types and the sub–type of all the other types. This type annotation is useful as type of arguments to function that are themselves used as arguments to functions; built-in procedures type-predicate for a usage example.