law anode_eq

lawful-arrays@0.1.0.0 · proof_tree.bend:27

import Base

27law anode_eq:
28  for -T: Type
29  for -x1: Array<T>
30  for -x2: Array<T>
31  for -y1: Array<T>
32  for -y2: Array<T>
33  for e1: {x1 == y1 : Array<T>}
34  for e2: {x2 == y2 : Array<T>}
35  {ANode{x1, x2} == ANode{y1, y2} : Array<T>}