Clone.node_equal: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/clone.bend as Clone
Lines 12-17 of bendtorch-core@0.1.0.0/src/storage/clone.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/storage/clone.bend&start_line=12&end_line=17

import Base

def node_equal(-T: Data, -a: Array<T>, -b: Array<T>, -x: Array<T>, -y: Array<T>,
  left: {a == x : Array<T>}, right: {b == y : Array<T>}) ->
  {ANode{a, b} == ANode{x, y} : Array<T>}:
  Equal.trans(Array<T>, ANode{a, b}, ANode{x, b}, ANode{x, y},
    Equal.cong(Array<T>, Array<T>, v => ANode{v, b}, a, x, left),
    Equal.cong(Array<T>, Array<T>, v => ANode{x, v}, b, y, right))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.cong
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.trans