ode>e[i1][i2]...[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>if <code>e</code> is an expression of type <code>array[i1, i2, ..., iN] T</code> and <code>k,</code> <code>i1</code>,
…, <code>iN</code> are expressions of type <code>int</code>, then
<code>e[k]</code> is an expression of type <code>array[i2, ..., iN] T</code>,</li>
<li>if <code>e</code