Fuzion • Library Modules • base • array2 • type.new

array2.type.new

type.new

(

type

integer,

length0 I,

length1 I,

init Binary T I I

)

array2 T ¶

[src]

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.as_i64 *? length1.as_i64 >=? 0
  debug : length0.fits_in_i64
  debug : length1.fits_in_i64

Type Parameters

integer ¶

[src]

Arguments

length0

I¶

[src]

length1

I¶

[src]

init

Binary T I I ¶

[src]

0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)

last changed: 2026-11-04