<> <> <<>> MonitorTool: CONFIGURATION IMPORTS Buttons, ColorDisplayHeadDorado, Containers, Basics, IO, Labels, Menus, MessageWindow, Terminal, Real, Rules, Rope, Commander, VFonts, ViewerOps, ViewerTools, WindowManager EXPORTS MonitorToolDefs, MonitorToolButtons CONTROL MonitorToolOps, MonitorToolButtonsImpl, MonitorToolImpl = { MonitorToolOps; MonitorToolButtonsImpl; MonitorToolImpl; }.