Gather.Index: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
Lines 48-52 of bendtorch-core@0.1.0.0/src/tensor/gather.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/gather.bend&start_line=48&end_line=52

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

# PyTorch's index tensor for gather: its shape, a Shape as every tensor's
# (rank at most 4, at most 2^20 elements), and its entries in row-major
# order.
type Index is Data:
  Index{shape: Shape.Shape, entries: List<&2, U32>}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/shape/core.bend&name=Shape