law get_kept

lawful-arrays@0.1.0.0 · LAWS.bend:68

import Base

68# Array.get hands back the same array.
69law get_kept:
70  for -T: Data
71  for a: Array<T>
72  for i: U32
73  {Pair.fst(Array<T>, T, Array.get(T, a, i)) == a : Array<T>}