law vector_leaves

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

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

276law vector_leaves:
277  {A.Arrays.leaves(U32, Array.set(U32, Array.new(U32, 2n, 0), 1, 7)) == [0, 7, 0, 0] : List<&2, U32>}