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