List.sort.runs: def of Base Import: import Base Lines 1172-1177 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1172&end_line=1177 import Base def List.sort.runs(-A: Data, xs: List<&2, A>) -> List<&2, List<&2, A>>: match xs: case Nil{}: Nil{} case h <> t: [h] <> List.sort.runs(A, t) Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List