<> <> <> <> <> <> DIRECTORY ArpaIP USING [Buffers], ArpaTCP USING [Reason, TCPInfo], ArpaTCPOps USING [TCPHandle]; ArpaTCPStates: CEDAR DEFINITIONS ~ BEGIN Open: PROC [tcpInfo: ArpaTCP.TCPInfo] RETURNS [handle: ArpaTCPOps.TCPHandle]; <> Close: PROC [handle: ArpaTCPOps.TCPHandle]; <> Abort: PROC [handle: ArpaTCPOps.TCPHandle]; <> CloseConnection: PROC [handle: ArpaTCPOps.TCPHandle, reason: ArpaTCP.Reason]; <> ValidHandle: PROC [handle: ArpaTCPOps.TCPHandle]; <> FindHandle: PROC [rcvdDatagram: ArpaIP.Buffers] RETURNS [handle: ArpaTCPOps.TCPHandle]; <> CopyHandleList: PROC RETURNS [handleListCopy: LIST OF REF ANY]; <> GetInitialSequenceNumber: PROC RETURNS [INT]; <> END.