law size_kept

lawful-arrays@0.1.0.0 · LAWS.bend:49

import Base

49law size_kept:
50  for -T: Data
51  for a: Array<T>
52  {Pair.fst(Array<T>, U32, Array.size(T, a)) == a : Array<T>}