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