Gather.viewed: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
Lines 117-121 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=117&end_line=121

import Base
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

# The plan of a gather or an index_select of `length` entries at an axis in
# range.
def viewed(+kind: Lookup, +given: Slice.View, +length: Nat) -> Plan:
  Slice.View{+outer, +extent, +inner} = given
  Plan{kind, outer, extent, inner, length}

Uses (4):
  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
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/gather.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/slice.bend&name=View