def balanced_along

bendtorch-core@0.1.0.0 · src/tensor/permute_build_proof.bend:363

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

363def balanced_along(-d: Nat, -x: Array<F32>, -y: Array<F32>, -same: {x == y : Array<F32>}, -valid: Model.Balanced(F32, d, y)) ->
364  Fact<Model.Balanced(F32, d, x)>:
365  Fact{
366    %Equal.sym(Array<F32>, x, y, same) : Model.Balanced(F32, d, _)
367    valid}