~/jendhub

def sum_found

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

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

1360def sum_found(+a: Nat, pair: Found()) -> Tape & Result<&2, &2, Error, Nat>:
1361  (entries, input) = pair
1362  match input:
1363    case Fail{error}:
1364      (Tape{entries}, Fail{UnknownNode{}})
1365    case Done{input}:
1366      sum_shaped(a, entries, Core.shape(input))

Uses (9)

Used by (1)