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

array3.type.new

type.new

(

type

integer,

length0 I,

length1 I,

length2 I,

init Function T I I I

)

array3 T ¶

[src]

array(length0, length1, length2) -- three-dimensional immutable array

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

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

integer ¶

[src]

Arguments

length0

I¶

[src]

length1

I¶

[src]

length2

I¶

[src]

init

Function T I I I ¶

[src]

0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)

last changed: 2026-11-03