<<>> <> <> <> <> DIRECTORY CrRPC, Rope, TimeP15V2, MailTransportP17V5, EnvelopeFormatP1517V1; EnvelopeFormatP1517V1Init: CEDAR PROGRAM EXPORTS EnvelopeFormatP1517V1 ~ { OPEN EnvelopeFormatP1517V1; ROPE: TYPE ~ Rope.ROPE; }...