def List.sort

Base · base.bend:1207

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