TensorBackward.Slicing: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
Lines 1444-1450 of bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend&start_line=1444&end_line=1450

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

# Which of the three a slice step is: PyTorch's a[..., start:stop:step, ...]
# at axis `dim`, a.narrow(dim, start, length) and a.select(dim, index). The
# axis and the positions along it are PyTorch's signed ints (signed.bend).
type Slicing is Data:
  Sliced{dim: Signed.Position, start: Signed.Position, stop: Signed.Position, step: U32}
  Narrowed{dim: Signed.Position, start: Signed.Position, length: U32}
  Selected{dim: Signed.Position, index: Signed.Position}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/signed.bend&name=Position