<<>> <> <> <> <> DIRECTORY CrRPC, Rope, CHNameP2V0, AuthenticationP14V2, CHOpsP2V3, BulkDataP0V1, MailTransportP17V5; MailTransportP17V5Init: CEDAR PROGRAM EXPORTS MailTransportP17V5 ~ { OPEN MailTransportP17V5; ROPE: TYPE ~ Rope.ROPE; }...