ed as
<code>y + (log(x))</code>.</p>
<div id="type-signatures-and-result-type-inference" class="section level3 unnumbered">
<h3>Type Signatures and Result Type Inference</h3>
<p>Each function has a type signature which determines the allowable type
of its arguments and its return type. For instance, the function
signature for the logarithm function can be expressed as</p>
<pre><code>real log(real);</code></pre>
<p>and the signature for the <code>lmultiply</code> function is</p>
<p><code>real lmultiply(real,