<> <> <> <> <> <> <> <> <<>> DIRECTORY Arpa USING [Address], ArpaTCP USING [Port], ArpaTCPOps USING [Buffer, TCPControlSet, TCPHandle, TCPSendBuffer]; ArpaTCPTransmit: CEDAR DEFINITIONS = { SendSYN: PROC [handle: ArpaTCPOps.TCPHandle]; <> SendFIN: PROC [handle: ArpaTCPOps.TCPHandle]; <> SendReset: PROC [handle: ArpaTCPOps.TCPHandle, sourcePort, dstnPort: ArpaTCP.Port, Dstn: Arpa.Address, seq, ack: INT]; <> SendSegment: PROC [handle: ArpaTCPOps.TCPHandle, sendDatagram: ArpaTCPOps.Buffer, dataByteCount: INT, ctl: ArpaTCPOps.TCPControlSet]; <> TryToSend: PROC [handle: ArpaTCPOps.TCPHandle]; <> TryToSendData: PROC [handle: ArpaTCPOps.TCPHandle]; <> RemoveAckedSegments: PROC [handle: ArpaTCPOps.TCPHandle]; <> RepacketizeandRexmit: PROC [handle: ArpaTCPOps.TCPHandle, tcpSendBufferPtr: REF ArpaTCPOps.TCPSendBuffer]; <> Rexmit: PROC [handle: ArpaTCPOps.TCPHandle, tcpSendBufferPtr: REF ArpaTCPOps.TCPSendBuffer]; <> }.