Signed.Position: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed
Lines 9-15 of bendtorch-core@0.1.0.0/src/tensor/signed.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/signed.bend&start_line=9&end_line=15

import Base

# PyTorch's signed axes, indices and reshape sizes, parsed into the unsigned
# ones that the tensor operations check. A Position counts from either end, as
# a PyTorch int does: First{k} is k, and Last{k} is -1 - k, so Last{0} is -1,
# the last axis or element. Each integer has exactly one Position.
type Position is Data:
  First{k: U32}
  Last{k: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32