PermuteBuild.Pick: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuild
Lines 19-24 of bendtorch-core@0.1.0.0/src/tensor/permute_build.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/permute_build.bend&start_line=19&end_line=24

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

# How to take one output coordinate out of a row-major index: reduce the
# index modulo each of `mods` in turn, then divide by `size`. Coordinate k
# of `Shape.digits(dims, x)` takes the element counts after the first k
# dimensions as `mods` and the count after dimension k as `size`.
type Pick is Data:
  Pick{mods: List<&2, Nat>, size: Nat}

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