-- Transport Mechanism - DEFS for name of this server --

-- [Juniper]<DMS>MS>LocalNameDefs.mesa

-- Andrew Birrell  21-Jan-81 18:28:53 --

DIRECTORY
  BodyDefs USING [Password, RName];

LocalNameDefs: DEFINITIONS =
  BEGIN

  ReadRSName: PROCEDURE
    RETURNS [name: BodyDefs.RName, password: STRING, key: BodyDefs.Password];

  ReadMSName: PROCEDURE
    RETURNS [name: BodyDefs.RName, password: STRING, key: BodyDefs.Password];

  LocalName: PROGRAM [initHeap: BOOLEAN];

  END.