<<>> <> <> <> <> DIRECTORY IO, RemoteEventTime, UserInput, UserInputGetActions; TerminalSpy: CEDAR DEFINITIONS = { EventTime: TYPE ~ RemoteEventTime.EventTime; endOfTime: EventTime ~ [INT.LAST, CARD16.LAST]; SpyOnStream: PROC [to, producer: IO.STREAM, allTime, allMouse: BOOL ¬ FALSE]; SpyOnCreek: PROC [to: IO.STREAM, increek: UserInput.Handle, stopTime: EventTime ¬ endOfTime, allTime, allMouse: BOOL ¬ FALSE]; PrintEventTime: PROC [to: IO.STREAM, et: EventTime, inclDay: BOOL ¬ TRUE]; PrintAction: PROC [to: IO.STREAM, ab: UserInputGetActions.InputActionBody]; }.