<> <> <> <> <> <> DIRECTORY IPDefs USING [Datagram, InternetHandle, neverTimeout, RequestData]; IPQueue: CEDAR DEFINITIONS ~ BEGIN CreateIPHandle: PROC [requestData: IPDefs.RequestData] RETURNS [handle: IPDefs.InternetHandle]; <> DestroyIPHandle: PROC [handle: IPDefs.InternetHandle]; <> Receive: PROC [handle: IPDefs.InternetHandle, timeout: INT _ IPDefs.neverTimeout] RETURNS [data: IPDefs.Datagram]; <> QueueDatagram: PROC [data: IPDefs.Datagram]; <> END.