implementation module ClientWindow; //import ioTypes; // pc //from windowDef import WindowId; // mac //:: WindowId :== Int; :: WindowId2 :== Int; :: ClientWindow = { visible_client_window :: !Bool , client_window_id :: !WindowId2 , n_messages :: !Int }; DefaultClientWindow :: !ClientWindow; DefaultClientWindow = { ClientWindow | visible_client_window = True , client_window_id = 0 , n_messages = 0 }; :: GlobalClientWindow = { visible_window_ids :: [WindowId2] }; DefaultGlobalClientWindow :: !GlobalClientWindow; DefaultGlobalClientWindow = { GlobalClientWindow | visible_window_ids = [] };