-- 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.