<<>> <> <> <> DIRECTORY MailBasics USING [RName], MailSend USING [SendingCredentialsList], Rope USING [ROPE]; PeanutCredentials: CEDAR DEFINITIONS ~ BEGIN sendingCredentials: MailSend.SendingCredentialsList; simpleUserName: LIST OF Rope.ROPE; userRNameList: LIST OF MailBasics.RName; END.