Что означает стрелка, указывающая вверх, в псевдокоде?

Question

Я столкнулся с стрелкой вверх в примерах псевдокода сбалансированных двоичных деревьев поиска. Что автор намеревается обозначить путем использования такого символа, который может следовать или предшествовать переменной?

type data = ....; 
    Tree = ↑node; 
    node = record 
    left, right: Tree; 
    level: integer; 
    key: data; 
    end; 
var bottom, deleted, last: Tree; 

procedure InitGlobalVariables; 
begin 
    new (bottom); 
    bottom↑.level := 0; 
    bottom↑.left := bottom; 
    bottom↑.right := bottom; 
    deleted := bottom; 
end; 

Это псевдокод является ссылкой на строительство Red-Black-деревья нашли here, написанную Арне Андерссон.

Answer 1

Стрелка вверх не является стандартом. На самом деле псевдокод не является стандартом, так что каждый автор имеет некоторую свободу в своих обозначениях, которые они используют.

Автор должен был сделать легенду для псевдокода, объясняя, что означает стрелка вверх.

Моей интерпретацией является то, что показано, что Дерево является указателем на структуру данных узла типа. Обозначения несколько напоминают Паскаль.

И стрелка вверх, следующая за переменной, предназначена для обозначения того, что указательная переменная имеет значение dereferenced.