 a declaration of the argument types and the
result type.</p>
<p>In looking up functions, binary operators like <code>real * real</code> are
defined as <code>operator*(real,real)</code> in the documentation and index.</p>
<p>In matching a function definition, arguments of type <code>int</code> may be
promoted to type <code>real</code> if necessary (see the subsection on type
promotion in <a href="type-inference.html#function-application">the function application section</a> for an exact
specification of Sta