index [ ]
(I
type
:
integer, i0 I, i1 I, i2 I)
=>
T
¶Precondition
pre
safety: i64.zero ≤ i0.as_i64 < length0
safety: i64.zero ≤ i1.as_i64 < length1
safety: i64.zero ≤ i2.as_i64 < length2
0.098dev (GIT hash b44352b4c68decbc58a097b291a1c8f3a5a05486)
last changed: 2026-07-03
