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