Gather.Plan: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
Lines 73-76 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=73&end_line=76

import Base

# What every cell of both builds reads: the kind, the view [outer, extent,
# inner] of the input around the axis, and the length of the output's axis.
type Plan is Data:
  Plan{kind: Lookup, outer: Nat, extent: Nat, inner: Nat, length: Nat}

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