def newer_unset

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:98

import Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

98# The entries newer than the output, each with no gradient, in front of the
99# sweep's result.
100def newer_unset(newer: List<&1, Backward.Entry>, swept: Backward.Swept()) -> Backward.Swept():
101  match newer:
102    case Nil{}:
103      swept
104    case Con{entry, rest}:
105      Backward.finished(entry, Gradient.Unset{}, newer_unset(rest, swept))