-- 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.