def List.merge.step

Base · base.bend:1140

1140def List.merge.step(
1141  -A: Data, acc: List<&2, A>, x: A, xt: List<&2, A>, y: A, yt: List<&2, A>,
1142  le: Bool
1143) -> List<&2, A> & List<&2, A> & List<&2, A>:
1144  match le:
1145    case False{}:
1146      (y <> acc, x <> xt, yt)
1147    case True{}:
1148      (x <> acc, xt, y <> yt)