new
array3.type.new
(I
type
:
integer, length0 I, length1 I, length2 I, init Function array3.type.T I I I) =>
array3 array3.type.T¶Precondition
pre safety: length0 ≥ 0 safety: length1 ≥ 0 safety: length2 ≥ 0 safety: length0.as_i64 *? length1.as_i64 *? length2.as_i64 >=? 0 debug : length0.fits_in_i64 debug : length1.fits_in_i64 debug : length2.fits_in_i64
Type Parameters
0.098dev (GIT hash b44352b4c68decbc58a097b291a1c8f3a5a05486)
array provides three-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
three index parameters.