law vector_wrap

bend-osdev-array@0.1.0.1 · LAWS.bend:273

import Base

273law vector_wrap:
274  {Pair.snd(Array<U32>, U32, Array.get(U32, Array.set(U32, Array.new(U32, 2n, 0), 6, 9), 2)) == 9 : U32}