Bound Methods

  Bound methods are values of a bound method type. The type of the bound method is a method with the same result type as the original method from which the partial call is constructed; its parameter are those for which the partial call did not give arguments. The remaining parameters are replaced by the arguments of the partial call computed at the time when the bound method is created. The new method belongs to the same object as the original method.

The 0-th parameter self is also bound by the partial call unless the method call is qualified in the form T:: with a polymorphic type T. In the latter case self remains unbound; when calling the bound method an object of a subtype of the given polymorphic type has to be passed as the first parameter of the call.

When a bound stream is used for establishing an explicit stream object then all once-parameters must be bound, cf. 6.7.2.