<<>> <> <> <> <> <> <<>> DIRECTORY UserInput, UserInputGetActions; EBEvent: CEDAR DEFINITIONS ~ BEGIN Handle: TYPE ~ UserInput.Handle; Action: TYPE ~ UserInputGetActions.InputAction; Event: TYPE ~ REF EventRep; EventRep: TYPE ~ RECORD [handle: Handle, action: Action]; END.