law vector_index

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

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

279law vector_index:
280  {A.Arrays.index(3n, 13) == 5n : Nat}