def List.sort.pass

Base · base.bend:1179

1179def List.sort.pass(
1180  ~A: Data, ~le: A -> A -> Bool, +n: Nat, runs: List<&2, List<&2, A>>
1181) -> List<&2, List<&2, A>>:
1182  match runs:
1183    case Nil{}:
1184      Nil{}
1185    case r <> Nil{}:
1186      [r]
1187    case r1 <> r2 <> rest:
1188      List.merge.go(~A, ~le, n, (Nil{}, r1, r2))
1189        <> List.sort.pass(~A, ~le, n, rest)