Clone.second_balanced: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/clone.bend as Clone
Lines 74-79 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=74&end_line=79

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

def second_balanced(-T: Data, -d: Nat, -original: Array<T>, cloned: Cloned<T, d, original>) ->
  Model.Balanced(T, d, Pair.snd(Array<T>, Array<T>, Array.clone(T, original))):
  match cloned:
    case Cloned{first, second, exact, same_first, same_second, valid_first, valid_second}:
      %exact : Model.Balanced(T, d, Pair.snd(Array<T>, Array<T>, _))
      valid_second

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.clone
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair.snd
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/clone.bend&name=Cloned
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/model.bend&name=Balanced