B.2. Recursive Structures

type Cell;  
   -- Partial declaration

type Cell_Access is access all Cell;
   -- Access to the abstract Cell

type Cell is record
   -- Full declaration
   Next       : Cell_Access;
   Some_Value : Integer;
   end record;