def accumulated
bendtorch-core@0.1.0.0 · src/tensor/gather_PROOF.bend:454
import bendtorch-core@0.1.0.0/src/tensor/gather_PROOF.bend as GatherPROOF
import Base
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
454def accumulated(acc: F32, index: Array<U32>, pair: Array<F32> & F32) ->
455 {Gather.accumulate(acc, index, pair) == (F32.add(acc, Refinement.second(F32, pair)), (Refinement.first(F32, pair), index)) : F32 & (Array<F32> & Array<U32>)}:
456 (g, x) = pair
457 {==}