new
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
0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)
last changed: 2026-09-23
array provides three-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
three index parameters.