<> <> <> DIRECTORY IO, RemoteImagerDataTypes, Rope, UserInputGetActions; TerminalReceiver: CEDAR DEFINITIONS = { ROPE: TYPE ~ Rope.ROPE; EventTime: TYPE = RemoteImagerDataTypes.EventTime; --milliseconds since 1901 EventDesc: TYPE ~ RECORD [ mousePosition: MousePosition, action: RemoteImagerDataTypes.ActionBody]; MousePosition: TYPE ~ RemoteImagerDataTypes.MousePosition; ActionBody: TYPE ~ UserInputGetActions.InputActionBody; Decode: PROC [producer, indexSrc: IO.STREAM, et1: EventTime, version: NAT, Consumer: PROC [ActionBody], Repaint: PROC, TakeTimeReply: PROC [org, mid: EventTime, descToo: BOOL, desc: EventDesc], TakeCutBuffer: PROC [buffer: ATOM, key: CARD, data: ROPE], adjustTime: BOOL]; <> <> }.