def walked_tape

bendtorch-core@0.1.0.0 · src/autograd/sgd.bend:156

import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd
import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

156def walked_tape(pair: Walked()) -> Backward.Tape & Result<&2, &2, Error, Unit>:
157  (entries, result) = pair
158  (Backward.Tape{entries}, result)

Uses (7)

Used by (2)