law clone_pair

lawful-arrays@0.1.0.0 · proof_tree.bend:249

import Base

249law clone_pair:
250  for -T: Data
251  for a: Array<T>
252  {Array.clone(T, a) == (a, a) : Array<T> & Array<T>}