def kept_balanced
bendtorch-core@0.1.0.0 · src/tensor/reduction.bend:98
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reduction
import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model
98def kept_balanced(-depth: Nat, -original: Array<F32>, -balanced: Model.Balanced(F32, depth, original), -kept: Array<F32>,
99 -same: {kept == original : Array<F32>}) -> Fact<Model.Balanced(F32, depth, kept)>:
100 Fact{
101 %Equal.sym(Array<F32>, kept, original, same) : Model.Balanced(F32, depth, _)
102 balanced}