Random.shuffle.swap: def of bend-kit-random@0.1.0.1
Import: import bend-kit-random@0.1.0.1/random.bend as Random
Lines 105-107 of bend-kit-random@0.1.0.1/random.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-random@0.1.0.1/random.bend&start_line=105&end_line=107

import Base

def shuffle.swap(~T: Data, +i: U32, +j: U32, ax: Array<T> & T) -> Array<T>:
  (a, xi) = ax
  shuffle.swap.set(~T, i, j, xi, Array.get(T, a, j))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=shuffle.swap.set