~/jendhub

def found_tape

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

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

982def found_tape(pair: Found()) -> Tape & Result<&2, &1, Error, Core.Dynamic>:
983  (entries, result) = pair
984  (Tape{entries}, result)

Uses (7)

Used by (1)