law vector_of_list

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

import Base
import bend-osdev-array@0.1.0.1/array.bend as A

282law vector_of_list:
283  {Pair.snd(Array<U32>, U32, Array.get(U32, Array.set(U32, A.Arrays.of_list(U32, 2n, [5, 6, 7, 8], 0), 1, 9), 5)) == 9 : U32}