new
array2.type.new
Precondition
pre safety: length0 ≥ 0 safety: length1 ≥ 0 safety: length0.as_i64 *? length1.as_i64 >=? 0 debug : length0.fits_in_i64 debug : length1.fits_in_i64
Type Parameters
0.098dev (GIT hash b44352b4c68decbc58a097b291a1c8f3a5a05486)
array provides two-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
two index parameters.