type Summed

bendtorch-core@0.1.0.0 · src/tensor/gather_LAWS.bend:299

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

299# A slot that holds `value`, the sum Added names from +0.0 over every k.
300type Summed<-depth: Nat, -out: Array<F32>, -path: Model.Path(depth), -dg: Nat, -G: Array<F32>, -di: Nat, -I: Array<U32>,
301  -kind: Gather.Lookup, -count: Nat, -inner: Nat, -o: Nat, -i: Nat, -r: Nat> is Data:
302  Summed{-value: F32, -observed: {Model.observe(F32, depth, out, path) == Some{value} : Maybe<&2, F32>},
303    -added: Added(dg, G, di, I, kind, count, inner, o, i, r, count, 0n, 0.0, value)}