def slice_shaped
bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1491
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
1491def slice_shaped(+a: Nat, +slicing: Slicing, entries: List<&1, Entry>, pair: Core.Dynamic & Shape.Shape) -> Tape & Result<&2, &2, Error, Nat>:
1492 (input, +shape) = pair
1493 slice_taken(a, shape, entries, slice_plan(shape, slicing), slice_value(input, slicing))