def contribution_targets

bendtorch-core@0.1.0.0 · src/autograd/backward_PROOF.bend:164

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

164def contribution_targets(contributions: List<&2, Backward.Contribution>) -> List<&2, Nat>:
165  match contributions:
166    case Nil{}:
167      Nil{}
168    case Con{Backward.Contribution{target, value}, rest}:
169      target <> contribution_targets(rest)