index [ ]
(I
type
:
integer, i0 I, i1 I, i2 I)
=>
T
¶Precondition
pre
safety: 0 ≤ i0.as_i64 < length0
safety: 0 ≤ i1.as_i64 < length1
safety: 0 ≤ i2.as_i64 < length2
0.099dev (GIT hash 02118e9cbed77f3897084a4a507da3f11ac8881e)
last changed: 2026-09-02
