MODULE Hole; IMPORT Cell; TYPE P* = POINTER TO T; T* = RECORD ( Cell.T ) END; END Hole.