4.4. The selector type

A selector is an abstract entity holding a name and typing information. A method invocation, also know as `sending a message to an object', actually is the invocation of some behaviour identified by the object receiving the message, and the name of the message: the selector. The second part of a message are the arguments to the method. A selector is a name and typing information on the arguments carried by a message and return value expected by the sender of the message. Every method implementation has, as the second implicit argument the selector, cmd, used to invoke the method's behaviour.

The default selector value denotes the non-existing selector. The only operations defined on selector typed values are equality comparisons.