index [ ]
(I
type
:
integer, i0 I, i1 I, i2 I)
=>
T
¶Precondition
pre
safety: 0 ≤ i0.as_i32 < length0
safety: 0 ≤ i1.as_i32 < length1
safety: 0 ≤ i2.as_i32 < length2
0.095dev (GIT hash 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)
last changed: 2026-04-16
