Это переключение их для целей последующих исполнений внутри метода. Хотя коммутатор не изменяет никаких ссылок непосредственно вне метода, проверка выполняется таким образом, чтобы в коде был только один путь логики, причем элемент с меньшим значением всегда находился в узле x, чтобы их замена была позже в коде работает с правильными элементами.
Для одного конкретного примера посмотрите на следующую строку кода:
x.rightChild = merge(x.rightChild, y);
Какой из двух меньших из них (x или y) будет сливаться под ним, то у правого ребенка - большее из двух. Таким образом, это позволяет самому методу беспокоиться об упорядочении и означает, что два элемента могут быть добавлены в любом порядке, и из-за этого произойдет правильное поведение.
Надеюсь, это поможет.