<> <> <> <> DIRECTORY RPC USING [ Conversation, ConversationLevel, EncryptionKey, Principal ] ; NamesRPC: CEDAR DEFINITIONS = { StartConversation: PROC[ caller: RPC.Principal, key: RPC.EncryptionKey, callee: RPC.Principal, level: RPC.ConversationLevel] RETURNS[ conversation: RPC.Conversation]; }.