Сформировать одномерный массив размером K+N из двух упорядоченных одномерных массивов - Pascal

Формулировка задачи:

Из двух упорядоченных одномерных массивов (длины K и N) сформируйте одномерный массив размером K+N, упорядоченный так же, как исходные массивы.

Решение задачи: «Сформировать одномерный массив размером K+N из двух упорядоченных одномерных массивов»

Листинг программы

type TLessFunc=function(a, b: Integer): Boolean;
function IsLess(a, b: Integer): Boolean; far; begin IsLess:=a<b end;
function IsMore(a, b: Integer): Boolean; far; begin IsMore:=a>b end;
var less: TLessFunc;
begin
  ...
  if a[1]<a[n] then less:=@IsLess else less:=@IsMore;
  ...

Объяснение кода листинга программы

Объявляется новый тип TLessFunc, представляющий собой функцию, принимающую два целых числа и возвращающую булево значение.
Объявляются две функции IsLess и IsMore, которые будут использоваться в качестве функций сравнения. Функция IsLess возвращает True, если первый аргумент меньше второго, иначе возвращает False. А функция IsMore возвращает True, если первый аргумент больше второго, иначе возвращает False.
Объявляется переменная less с типом TLessFunc.
В зависимости от того, больше ли первый элемент массива a чем последний элемент массива a, переменной less присваивается адрес функции IsLess либо функции IsMore.
Происходит дальнейшая обработка кода, опущенная в данном фрагменте.