def finished
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
763def finished(entry: Entry, slot: Gradient.Slot, pair: Swept()) -> Swept():
764 (rest, result) = pair
765 (entry <> rest, prepend(Gradient.Slot, slot, result))
Uses (6)
Used by (11)
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:pass
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:passed
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:visited
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS:newer_unset
- bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF:fail_fired
- …