def first_balanced
bendtorch-core@0.1.0.0 · src/storage/clone.bend:67
import bendtorch-core@0.1.0.0/src/storage/clone.bend as Clone
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
67def first_balanced(-T: Data, -d: Nat, -original: Array<T>, cloned: Cloned<T, d, original>) ->
68 Model.Balanced(T, d, Pair.fst(Array<T>, Array<T>, Array.clone(T, original))):
69 match cloned:
70 case Cloned{first, second, exact, same_first, same_second, valid_first, valid_second}:
71 %exact : Model.Balanced(T, d, Pair.fst(Array<T>, Array<T>, _))
72 valid_first