О деревьях

{функция сравнения бинарных деревьев}
function equal(p1, p2 : ptr) : boolean;
begin
    if (p1=nil) and (p2=nil) then equal := true
    else if (p1<>nil) and (p2<>nil) 
        then equal := (p1^.info= p2^.info) and equal(p1^.llink, p2^.llink) 
                      and equal(p1^.rlink, p2^.rlink)
    else equal := false
end;

T := New(Tree);

New(T);// := New(Tree);

type
    T = Integer;    { скрываем зависимость от конкретного типа данных }
 
    TTree = ^TNode;
    TNode = record
        value: T;
        Left, Right: TTree;
    end;
    
procedure Insert(var Root: TTree; X: T);
 
    { Дополнительная процедура, создающая и инициализирующая новый узел }
    procedure CreateNode(var p: TTree; n: T);
    begin
        New(p);
        p^.value := n;
        p^.Left := nil;
        p^.Right := nil
    end;
    
begin
    if Root = nil Then CreateNode(Root, X) { создаем новый узел дерева }
    else 
        with Root^ do begin
            if value < X then Insert(Right, X)
            else
                if value > X Then Insert(Left, X)
                else 
                { Действия, производимые в случае повторного
                внесения элементов в дерево}
        end;
end;
 
procedure PrintDown(level: integer; Root: TTree);
begin
    if Root = nil then exit;
    with Root^ do
   begin
        Writeln('':2*level, value);
        PrintDown(level + 1, Left);
        PrintDown(level + 1, Right)
    end
end;
 
function equal(p1, p2 : TTree) : boolean;
begin
  if (p1 = nil) and (p2 = nil) then equal := true
  else if (p1 <> nil) and (p2 <> nil)
  then equal := (p1^.Value = p2^.Value) and equal(p1^.Left, p2^.Left) 
                and equal(p1^.Right, p2^.Right)
  else equal := false
end;
 
var
   first_arr : array[1 .. 7] of integer := (20, 7, 4, 16, 38, 37, 43);
   second_arr : array[1 .. 3] of integer := (38, 37, 43);
   T1, T2 : TTree;
   
begin
  // Заполняем оба дерева данными из массива
  for var i := 1 to 7 do Insert(T1, first_arr[i]);
  PrintDown(0, T1);
  for var i := 1 to 3 do Insert(T2, second_arr[i]);
  PrintDown(0, T2);
  
  // и проверяем на равенство правую ветку первого дерева и всё второе дерево...
  writeln(equal(T1^.Right, T2)); // True
 
  // а теперь - левую ветку первого дерева сравниваем со вторым. Они не равны...
  writeln(equal(T1^.Left, T2)); // False
end.