-- Copyright (C) 1983 by Xerox Corporation. All rights reserved. -- RPCPrivate.mesa, HGM, 15-Mar-83 21:14:41 -- RPC: Private interface between runtime and ethernet driver -- [Ivy]<Birrell>RPCPrivate.mesa -- Andrew Birrell August 27, 1982 5:39 pm DIRECTORY PupTypes USING [PupSocketID, rpcpSoc]; RPCPrivate: DEFINITIONS = BEGIN rpcSocket: PupTypes.PupSocketID = PupTypes.rpcpSoc; END.