def walked_tape
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgdimport 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)