law get_same_array

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

import Base

28law get_same_array:
29  for -T: Data
30  for a: Array<T>
31  for i: U32
32  {Pair.fst(Array<T>, T, Array.get(T, a, i)) == a : Array<T>}