def tree_balanced
bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:696
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel
696def tree_balanced(+depth: Nat, -expected: Array<F32> & (Array<F32> & Array<F32>),
697 certified: Parallel.Certified<(Array<F32> & Array<F32>), depth, expected>) ->
698 Model.Balanced(F32, depth, Pair.fst(Array<F32>, Array<F32> & Array<F32>, expected)):
699 Parallel.Certified{result, same, balanced} = certified
700 %same : Model.Balanced(F32, depth, Pair.fst(Array<F32>, Array<F32> & Array<F32>, _))
701 balanced