array2

type

, length0 i32, length1 i32, init2 Binary T i32 i32)

array(length0, length1) -- two-dimensional immutable array

array provides two-dimensional immutable arrays. These are actually
one-dimensional immutable arrays with an additional access function with
two index parameters.

Precondition

pre
  safety: length0 ≥ 0
  safety: length1 ≥ 0
  safety: length0 *? length1 >=? 0

Type Parameters

Any ¶

[src]

0.095dev (GIT hash 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)

last changed: 2026-04-16