-- Copyright (C) 1981, 1984  by Xerox Corporation. All rights reserved. 
-- LocalNameDefs - defs for name of this server --

-- HGM, 15-Sep-85  2:15:41
-- Andrew Birrell  21-Jan-81 18:28:53 --

DIRECTORY
  BodyDefs USING [Password, RName];

LocalNameDefs: DEFINITIONS =
  BEGIN

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

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

  LocalName: PROGRAM [initHeap: BOOLEAN];

  END.