law vector_index_wrap

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

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

285law vector_index_wrap:
286  {A.Arrays.index(2n, U32.from_nat(Nat.add(A.Arrays.slots(2n), 3n))) == 3n : Nat}