def split_equal

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

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

298def split_equal(+d: Nat, -a: Array<F32>, -valid: Model.Balanced(F32, d, a)) -> Fact<SplitFacts(a)>:
299  Fact{{\{Fact: q => q} : Fact<SplitFacts(a)> -> SplitFacts(a)}(halves_equal(d, a, Array.clone(F32, a), {==}, valid))}