law get_pair

lawful-arrays@0.1.0.0 · LAWS.bend:170

import Base

170# Array.get as a literal pair (so code that destructures it can be rewritten).
171law get_pair:
172  for -T: Data
173  for a: Array<T>
174  for i: U32
175  {Array.get(T, a, i) == (a, Pair.snd(Array<T>, T, Array.get(T, a, i))) : Array<T> & T}