~/jendhub

def graded_tape

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

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

1033def graded_tape(pair: Graded()) -> Tape & Result<&2, &1, Error, Maybe<&1, Core.Dynamic>>:
1034  (entries, result) = pair
1035  (Tape{entries}, result)

Uses (8)

Used by (1)