TransposeSpec.swap: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend as TransposeSpec
Lines 34-36 of bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend&start_line=34&end_line=36

import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

def swap(-A: Data, +items: List<&2, A>, +a: Nat, +b: Nat) -> List<&2, A>:
  left right = Axis.lookup(A, items, a) Axis.lookup(A, items, b)
  swap_selected(A, items, a, b, left, right)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/axis_spec.bend&name=lookup
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend&name=swap_selected