law size_set

bend-ml-tensor-array@0.1.19.0 · main.bend:2095

import Base

2095# LAW: writing v at i keeps the array's size (any i: the index wraps around)
2096law size_set:
2097  for -T: Data
2098  for a: Array<T>
2099  for +i: U32
2100  for +v: T
2101  {ASet.sz(T, Array.set(T, a, i, v)) == ASet.sz(T, a) : U32}