<> <> <> <> <<>> DIRECTORY KeyTypes; KeyStateTypes: CEDAR DEFINITIONS = BEGIN UpDown: TYPE ~ MACHINE DEPENDENT { up(0), down(1) }; <> <<>> KeyboardState: TYPE ~ PACKED ARRAY KeyTypes.KeyCode OF UpDown ¬ ALL[up]; END.