fuzion-lang.dev — The Fuzion Language Portal

Fuzion • Library Modules • base • container • Dynamic_Array • index [ ]

container.Dynamic_Array.index [ ]

(

I

type

:

i I

)

=>

T

[Redefinition of container.Buffer.index [ ]]

get element at given index i

Precondition

Inherited from container.Buffer.index [ ]

pre
  safety: 0 ≤ i.as_i64 < length
  safety: is_accessible

redefines:

container.Buffer.index [ ]

Type Parameters

I

:

Arguments

i

I¶

0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)

last changed: 2026-11-03