-- Compiler CursorDefs -- Tiberi December 11, 1979 2:33 PM -- Last Edited by: Stone, February 2, 1983 2:09 pm DIRECTORY Cursors USING[CursorType]; CursorDefs: DEFINITIONS = BEGIN Cursor: TYPE = {pointingCursor, busyCursor, menuCursor, abortCursor}; SetCursor: PROCEDURE[cursor: Cursor]; GetPointingCursor: PROCEDURE RETURNS [Cursors.CursorType]; END.