index [ ]
mutate.array.index [ ]
get element at given index i
Precondition
Inherited from container.Buffer.index [ ]
pre safety: 0 ≤ i.as_i64 < length safety: is_accessible
Type Parameters
0.095dev (GIT hash fe578dbae82d257bfb6d755e3b05abbf37247dbe)
pre safety: 0 ≤ i.as_i64 < length safety: is_accessible