DEFINITION MODULE DemosWindows ; FROM SYSTEM IMPORT ADDRESS; EXPORT UNQUALIFIED DoHeaderBar, DoInfoBar, DoTabs, DoAssistant; PROCEDURE DoHeaderBar (doWidget: ADDRESS) : ADDRESS; PROCEDURE DoInfoBar (doWidget: ADDRESS) : ADDRESS; PROCEDURE DoTabs (doWidget: ADDRESS) : ADDRESS; PROCEDURE DoAssistant (doWidget: ADDRESS) : ADDRESS; END DemosWindows.