def rated

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

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

172def rated(+lr: F32, entries: List<&1, Backward.Entry>, +count: Nat, +params: List<&2, Nat>, refused: Maybe<&2, Error>) ->
173  Backward.Tape & Result<&2, &2, Error, Unit>:
174  match refused:
175    case Some{error}:
176      (Backward.Tape{entries}, Fail{error})
177    case None{}:
178      walked_tape(descend_all(lr, count, params, entries))