INTERFACEConnMsgRW ; IMPORT ConnFD, MsgRd, MsgWr; PROCEDURE NewRd(fd: ConnFD.T) : MsgRd.T; (* produces a message reader from a generic connection handle *) PROCEDURE NewWr(fd: ConnFD.T) : MsgWr.T; (* produces a message writer from a generic connection handle *) END ConnMsgRW.