index [ ]
)
=>
T
[Abstract feature]
¶Precondition
pre
safety: 0 ≤ i1.as_i64 < length0
safety: 0 ≤ i2.as_i64 < length1
safety: is_accessible
Type Parameters
Arguments
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
last changed: 2026-11-03