<<>> <> <> <> <> DIRECTORY EnvelopeFormatP1517V1; EnvelopeFormatP1517V1Aux: CEDAR DEFINITIONS ~ { OPEN EnvelopeFormatP1517V1; ExposeReport: PROC [arg: Report, level: NAT] RETURNS [res: ROPE]; ExposeNonDelType: PROC [arg: NonDelType, level: NAT] RETURNS [res: ROPE]; ExposeNonDeliveredRecipient: PROC [arg: NonDeliveredRecipient, level: NAT] RETURNS [res: ROPE]; ExposePriority: PROC [arg: Priority, level: NAT] RETURNS [res: ROPE]; ExposeFailList: PROC [arg: FailList, level: NAT] RETURNS [res: ROPE]; ExposeFate: PROC [arg: Fate, level: NAT] RETURNS [res: ROPE]; ExposeFateKind: PROC [arg: FateKind, level: NAT] RETURNS [res: ROPE]; ExposeX400SpecificReportInformation: PROC [arg: X400SpecificReportInformation, level: NAT] RETURNS [res: ROPE]; ExposeReason: PROC [arg: Reason, level: NAT] RETURNS [res: ROPE]; ExposeSucList: PROC [arg: SucList, level: NAT] RETURNS [res: ROPE]; ExposeTableOfContents: PROC [arg: TableOfContents, level: NAT] RETURNS [res: ROPE]; ExposeDeliveredRecipient: PROC [arg: DeliveredRecipient, level: NAT] RETURNS [res: ROPE]; ExposeX400ReportItem: PROC [arg: X400ReportItem, level: NAT] RETURNS [res: ROPE]; ExposeConvertedItem: PROC [arg: ConvertedItem, level: NAT] RETURNS [res: ROPE]; ExposeRepTypeKind: PROC [arg: RepTypeKind, level: NAT] RETURNS [res: ROPE]; ExposeTOCEntry: PROC [arg: TOCEntry, level: NAT] RETURNS [res: ROPE]; ExposeDLMem: PROC [arg: DLMem, level: NAT] RETURNS [res: ROPE]; ExposeOtherRep: PROC [arg: OtherRep, level: NAT] RETURNS [res: ROPE]; ExposePostmark: PROC [arg: Postmark, level: NAT] RETURNS [res: ROPE]; ExposeTransportOptions: PROC [arg: TransportOptions, level: NAT] RETURNS [res: ROPE]; ExposeInvalRecip: PROC [arg: InvalRecip, level: NAT] RETURNS [res: ROPE]; ExposeAuthenticationLevelOfSender: PROC [arg: AuthenticationLevelOfSender, level: NAT] RETURNS [res: ROPE]; ExposeRepType: PROC [arg: RepType, level: NAT] RETURNS [res: ROPE]; ExposeConverted: PROC [arg: Converted, level: NAT] RETURNS [res: ROPE]; ExposeDelType: PROC [arg: DelType, level: NAT] RETURNS [res: ROPE]; }...