List.apply: def of bendlib-kernel-list@1.0.0.0
Import: import bendlib-kernel-list@1.0.0.0/list.bend as List
Lines 29-35 of bendlib-kernel-list@1.0.0.0/list.bend: https://jend.leeeet.dev/read.txt?path=bendlib-kernel-list@1.0.0.0/list.bend&start_line=29&end_line=35

import Base

# Apply a list of adjacent swaps, left to right.
def apply(-A: Data, +steps: List<&2, Nat>, xs: List<&2, A>) -> List<&2, A>:
  match steps:
    case Nil{}:
      xs
    case +i <> rest:
      apply(A, rest, swap_at(A, i, xs))

Uses (3):
  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=bendlib-kernel-list@1.0.0.0/list.bend&name=swap_at