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