<> <> <> <> <<>> DIRECTORY IO, SlackProcess; SessionLog: CEDAR DEFINITIONS = BEGIN <> EnterAction: PROC [f: IO.STREAM, action: LIST OF REF ANY]; <> <> <<>> <> <> PlayScript: PROC [f: IO.STREAM, clientData: REF ANY, notifyProc: SlackProcess.EventProc]; <> <<>> PlayAction: PROC [f: IO.STREAM, clientData: REF ANY, notifyProc: SlackProcess.EventProc] RETURNS [endOfStream: BOOL]; <> END.