[i]</code> has type
<code>row_vector</code>.</p></li>
</ul>
</div>
<div id="function-application" class="section level4">
<h4>Function Application</h4>
<p>If <code>f</code> is the name of a function and <code>e1,...,eN</code> are
expressions for <span class="math inline">\(N \geq 0\)</span>, then <code>f(e1,...,eN)</code> is an expression
whose type is determined by the return type in the function signature
for <code>f</code> given <code>e1</code> through <code>eN</code>. Recall that a
function signature is