Cases 3 to 6 assume x and y are not bit sequences. If y is not the same type as x or a descendant type then the result is false. Cases 4 to 6 assume y conforms to x. 4. After possible coercion of the heavier type. 5. If x and y have the same fields and each field is identical.
Every object is a direct instance of exactly one type.
It may also be indirectly an instance of more than one type through inheritance. Typing in Eiffel is static. The first two denote possible run-time components that either reference an object or are and actual object, respectively. See also entry under 9.5 aggregates . Every class is a type.