def backward
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
241# Runs one backward of output and accumulates its gradients into the slots.
242def backward(tape: Tape, +output: Nat) -> Result<&2, &2, Error, Tape>:
243 Tape{+entries} = tape
244 merged(entries, gradients(Tape{entries}, output))
Uses (6)
Used by (10)
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:again
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_dangling
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_success
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_accepts_bound_operands
- bendtorch-core@0.1.0.0/src/autograd/backward_LAWS:backward_rejects_unbound_operand
- …