def recorded

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1168

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

1168def recorded(node: Node, saved: Saved, entries: List<&1, Entry>, result: Result<&2, &1, Core.Error, Core.Dynamic>) ->
1169  Tape & Result<&2, &2, Error, Nat>:
1170  match result:
1171    case Fail{error}:
1172      (Tape{entries}, Fail{TensorError{error}})
1173    case Done{output}:
1174      push(node, output, saved, entries)