def sum

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1368

import Base

1368# Records the sum of every element of a, a rank-0 tensor.
1369def sum(tape: Tape, +a: Nat) -> Tape & Result<&2, &2, Error, Nat>:
1370  Tape{entries} = tape
1371  sum_found(a, value_counted(a, counted(entries)))