index [ ] :=
container.Mutable_Array2.index [ ] :=
set element at given index i to given value o
Precondition
pre safety: 0 ≤ i1.as_i64 < length0 safety: 0 ≤ i2.as_i64 < length1 safety: is_accessible
Type Parameters
0.095dev (GIT hash fe578dbae82d257bfb6d755e3b05abbf37247dbe)