law get_pair_t

lawful-arrays@0.1.0.0 · proof_tree.bend:296

import Base

296law get_pair_t:
297  for -T: Data
298  for +t: Tree<T>
299  for +i: U32
300  {Array.get(T, fromT(T, t), i) == (fromT(T, t), Pair.snd(Array<T>, T, Array.get(T, fromT(T, t), i))) : Array<T> & T}