definition module timerdevice // ******************************************************************************** // Clean Standard Object I/O library. // ******************************************************************************** import devicefunctions from iostate import :: PSt timerFunctions :: DeviceFunctions (PSt .l)