def again

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:144

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

144def again(result: Result<&2, &2, Backward.Error, Backward.Tape>, +output: Nat) -> Result<&2, &2, Backward.Error, Backward.Tape>:
145  match result:
146    case Fail{error}:
147      Fail{error}
148    case Done{tape}:
149      Backward.backward(tape, output)