Fuzion • Library Modules • tokiwa • array2

array2

type

)

[Private constructor]

[Module base]

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

[Module base]

[src]

Fields

length0

i64

[Module base]

[src]

length1

i64

[Module base]

[src]

Functions

execute

(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration)

outcome tokiwa.process_result

[Inherited from Sequence]

[src]

execute this Sequence of process+args

0.099dev (GIT hash 250922c42fb1dcef5ce7ce89820538f53498ca37)

last changed: 2026-08-14