Lists.sort: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
Lines 104-108 of bend-lint-api@0.2.0.0/shared/lists.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&start_line=104&end_line=108

import Base

# `xs` in `le` order, stable: a bottom-up merge sort.
def sort(~A: Data, ~le: A -> A -> Bool, xs: List<&2, A>) -> List<&2, A>:
  +ys = {xs: List<&2, A>}
  +n = length(&2, A, ys)
  sort.go(~A, ~le, n, n, 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=bend-lint-api@0.2.0.0/shared/lists.bend&name=length
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=sort.go
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=sort.runs