def second_balanced
bendtorch-core@0.1.0.0 · src/storage/clone.bend:74
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
74def second_balanced(-T: Data, -d: Nat, -original: Array<T>, cloned: Cloned<T, d, original>) ->
75 Model.Balanced(T, d, Pair.snd(Array<T>, Array<T>, Array.clone(T, original))):
76 match cloned:
77 case Cloned{first, second, exact, same_first, same_second, valid_first, valid_second}:
78 %exact : Model.Balanced(T, d, Pair.snd(Array<T>, Array<T>, _))
79 valid_second