List.sort: def of Base
Import: import Base
Lines 1207-1214 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1207&end_line=1214

import Base

def List.sort(~A: Data, ~le: A -> A -> Bool, xs: List<&2, A>) -> List<&2, A>:
  match xs:
    case Nil{}:
      Nil{}
    case h <> t:
      +ys = {h <> t : List<&2, A>}
      +n = List.length(&2, A, ys)
      List.sort.go(~A, ~le, n, n, List.sort.runs(A, ys))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.sort.go
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.sort.runs