[<A HREF="ArraySlice2.ps">PostScript</A>]

<PRE>
ArraySlice2 (E, I1, I2, A): <b>trait</b>
  % A two-dimensional array
  % treated as a vector of vectors
  <b>includes</b> 
    <A HREF="Array1.html">Array1</A> (E, I2, A1),
    <A HREF="Array1.html">Array1</A> (A1, I1, A)
  <b>introduces</b>
    assign: A, I1, I2, E -&gt; A
    __[__, __]: A, I1, I2 -&gt; E
  <b>asserts</b>
    <b>forall</b> a: A, i1: I1, i2: I2, e: E
      a[i1, i2] == (a[i1])[i2];
      assign(a, i1, i2, e) ==
        assign(a, i1, assign(a[i1], i2, e))
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]