Typdefinitionen des Moduls PersonalMessages

   TYPE
      MessageBox = POINTER TO MessageBoxRec;
      MessageBoxRec =
         RECORD
            (Disciplines.ObjectRec)
         END;

      Message = POINTER TO MessageRec;
      MessageRec =
         RECORD
            (Disciplines.ObjectRec)
         END;

      MessageEvent = POINTER TO MessageEventRec;
      MessageEventRec =
         RECORD
            (Events.EventRec)
            box: MessageBox;
            msg: Message;           (* newly arrived message *)
         END;