" class="section level4">
<h4>Indexing</h4>
<p>If <code>x</code> is an expression of total dimensionality greater than or equal
to <span class="math inline">\(N\)</span>, then the type of expression <code>e[i1, ..., iN]</code> is the same as
that of <code>e[i1]...[iN]</code>, so it suffices to define the type of a
singly-indexed function. Suppose <code>e</code> is an expression and <code>i</code> is an
expression of primitive type <code>int</code>. Then</p>
<ul>
<li><p>if <code>e</code> is an expression of 