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

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

# A plan the checks accept, and its output shape.
type Planned is Data:
  Planned{plan: Plan, output: Shape.Shape}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/shape/core.bend&name=Shape
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/gather.bend&name=Plan