<<>> <> <> <> <> <> DIRECTORY KeyMappingTypes, KeyStateTypes, RelativeTimes, ScreenCoordsTypes, UserInput; UserInputPrivate: CEDAR DEFINITIONS ~ BEGIN Rep: TYPE ~ RECORD [ <> timeStamp: RelativeTimes.TimeStamp, mousePosition: ScreenCoordsTypes.TIPScreenCoordsRec, penPosition: ScreenCoordsTypes.TIPScreenCoordsRec, keyboardState: KeyStateTypes.KeyboardState, rawKeyboardState: KeyStateTypes.KeyboardState, fastTrapState: REF, latestFastTrapState: REF, mouseGrainTime: RelativeTimes.DeltaTime, mouseGrainDots: NAT, mapping: KeyMappingTypes.Mapping, source: PROC [handle: UserInput.Handle], sourceData: REF ANY, <> private: REF PrivateDataRep ]; PrivateDataRep: TYPE; END.