<> <> <> <> DIRECTORY Terminal USING [Virtual], TerminalDefs USING [KeyName]; IdleBackdoor: CEDAR DEFINITIONS = { UseAlternateVT: PROC [vtProc: VTProc, logout: BOOL _ TRUE] RETURNS [wasAlreadyAlternate: BOOL]; <> <> <> VTProc: TYPE = PROC [Terminal.Virtual]; KeyTyped: PROC [watch: KeyFilter] RETURNS [BOOL]; <> <> KeyName: TYPE = TerminalDefs.KeyName; KeyFilter: TYPE = RECORD [ first, last: KeyName, pass: PACKED ARRAY KeyName OF BOOL <> ]; defaultKeyFilter: READONLY KeyFilter; }.