<> <> <> <> <> <> <> DIRECTORY YggEnvironment USING [Conversation, Principal]; YggClientMap: CEDAR DEFINITIONS = BEGIN OPEN YggEnvironment; Register: PROCEDURE [conversation: Conversation, principal: Principal]; <> Unregister: PROCEDURE [conversation: Conversation]; <> <> GetName: PROCEDURE [conversation: Conversation] RETURNS [principal: Principal]; <> <> <> END. <> <> <<>>