def List.sort.runs

import Base

1172def List.sort.runs(-A: Data, xs: List<&2, A>) -> List<&2, List<&2, A>>:
1173  match xs:
1174    case Nil{}:
1175      Nil{}
1176    case h <> t:
1177      [h] <> List.sort.runs(A, t)

Uses (1)

List

Used by (1)

List.sort