岩波講座　ソフトウェア科学
アルゴリズムとデータ構造　石畑　清

に、

type list = ↑cell;
　　　cell = record
　　　　　　　　element : datatype;
　　　　　　　　next : list;
　　　　　　　end;


の↑ってどーいう意味？