Typeserver-notificationServer notifications (sent to client)type server-notification = server-notification;