<> <> <> <> <> <> TCPImpl: CONFIGURATION IMPORTS Basics, BasicTime, Convert, IO, IPDefs, IPOps, List, PrincOpsUtils, Process, Rope EXPORTS TCP, TCPLogging, TCPOps CONTROL TCPLoggingImpl, TCPStatesImpl, TCPReceivingImpl, TCPTransmitImpl, TCPMain, TCPOpsImpl = BEGIN TCPMain; TCPOpsImpl; TCPLoggingImpl; TCPStatesImpl; TCPReceivingImpl; TCPTransmitImpl; END.