2.1.4 Predefined Objects

Several objects are predefined and play special roles.

• The void object is used to represent a lack of a value. It is used as the result of methods or expressions that have no useful result. The system will guarantee (statically in the presence of type checking) that void is never passed as an argument to a method.
• The any object is implicitly the ancestor of all non-void objects. It supports behavior that is shared by all objects.

A Cecil implementation provides other predefined objects, such as integers, floats, characters, booleans, and mutable and immutable vectors and strings, as part of its standard library.