def slice_found

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

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

1495def slice_found(+a: Nat, +slicing: Slicing, pair: Found()) -> Tape & Result<&2, &2, Error, Nat>:
1496  (entries, input) = pair
1497  match input:
1498    case Fail{error}:
1499      (Tape{entries}, Fail{UnknownNode{}})
1500    case Done{input}:
1501      slice_shaped(a, slicing, entries, Core.shape(input))

Uses (10)

Used by (1)

bendtorch-core@0.1.0.0/src/autograd/tensor_backward:sliced