law clone_pair

lawful-arrays@0.1.0.0 · LAWS.bend:207

import Base

207# Array.clone gives two arrays equal to the original.
208law clone_pair:
209  for -T: Data
210  for a: Array<T>
211  {Array.clone(T, a) == (a, a) : Array<T> & Array<T>}