<<>> <> <> <> DIRECTORY Rope, TIPUser; MachineDependentPopping: CEDAR DEFINITIONS = { ROPE: TYPE ~ Rope.ROPE; ScreenCoords: TYPE ~ RECORD [x, y: INTEGER, color: BOOL]; GetCurrentMouse: PROC RETURNS [ScreenCoords]; SetMouse: PROC [ScreenCoords]; maySetMouse: READONLY BOOL; MayNotSetMouse: ERROR; ToScreenCoords: PROC [REF ANY] RETURNS [ScreenCoords]; <> <> <> <> GetCaller2sGlobalFrame: PROC RETURNS [POINTER] ~ TRUSTED INLINE {RETURN [NIL]}; GetFullFilename: PROC [hint, wDir: ROPE] RETURNS [full, ohneVersion: ROPE]; GetWDir: PROC RETURNS [ROPE]; SetTipTable: PROC [TIPUser.TIPTable]; MatchEvent: PROC [actionQueue, action: REF ANY] RETURNS [LIST OF REF ANY]; }.