<<>> <> <> <> <> DIRECTORY MailTransportP17V5; MailTransportP17V5Aux: CEDAR DEFINITIONS ~ { OPEN MailTransportP17V5; ExposeGatewaySpecInfo: PROC [arg: GatewaySpecInfo, level: NAT] RETURNS [res: ROPE]; ExposePerChoiceKind: PROC [arg: PerChoiceKind, level: NAT] RETURNS [res: ROPE]; ExposeTransferProblem: PROC [arg: TransferProblem, level: NAT] RETURNS [res: ROPE]; ExposeSessionToken: PROC [arg: SessionToken, level: NAT] RETURNS [res: ROPE]; ExposeReportType: PROC [arg: ReportType, level: NAT] RETURNS [res: ROPE]; ExposeAttribute: PROC [arg: Attribute, level: NAT] RETURNS [res: ROPE]; ExposeSessionProblem: PROC [arg: SessionProblem, level: NAT] RETURNS [res: ROPE]; ExposeRNameKind: PROC [arg: RNameKind, level: NAT] RETURNS [res: ROPE]; ExposeWillingness: PROC [arg: Willingness, level: NAT] RETURNS [res: ROPE]; ExposeOptionalEnvItemSeq: PROC [arg: OptionalEnvItemSeq, level: NAT] RETURNS [res: ROPE]; ExposeMessageID: PROC [arg: MessageID, level: NAT] RETURNS [res: ROPE]; ExposePerChoice: PROC [arg: PerChoice, level: NAT] RETURNS [res: ROPE]; ExposeBrokenName: PROC [arg: BrokenName, level: NAT] RETURNS [res: ROPE]; ExposeBPSeq: PROC [arg: BPSeq, level: NAT] RETURNS [res: ROPE]; ExposeOtherProblem: PROC [arg: OtherProblem, level: NAT] RETURNS [res: ROPE]; ExposeInvalidNameList: PROC [arg: InvalidNameList, level: NAT] RETURNS [res: ROPE]; ExposeSession: PROC [arg: Session, level: NAT] RETURNS [res: ROPE]; ExposeAccessProblem: PROC [arg: AccessProblem, level: NAT] RETURNS [res: ROPE]; ExposePostingData: PROC [arg: PostingData, level: NAT] RETURNS [res: ROPE]; ExposeEnvelopeItem: PROC [arg: EnvelopeItem, level: NAT] RETURNS [res: ROPE]; ExposeInvalidName: PROC [arg: InvalidName, level: NAT] RETURNS [res: ROPE]; ExposeOrgUnits: PROC [arg: OrgUnits, level: NAT] RETURNS [res: ROPE]; ExposeRecipientList: PROC [arg: RecipientList, level: NAT] RETURNS [res: ROPE]; ExposeRName: PROC [arg: RName, level: NAT] RETURNS [res: ROPE]; ExposeServiceProblem: PROC [arg: ServiceProblem, level: NAT] RETURNS [res: ROPE]; ExposeOpaque: PROC [arg: Opaque, level: NAT] RETURNS [res: ROPE]; ExposeEnvelope: PROC [arg: Envelope, level: NAT] RETURNS [res: ROPE]; ExposeRecipient: PROC [arg: Recipient, level: NAT] RETURNS [res: ROPE]; ExposeGatewayRecord: PROC [arg: GatewayRecord, level: NAT] RETURNS [res: ROPE]; ExposeInvalidReason: PROC [arg: InvalidReason, level: NAT] RETURNS [res: ROPE]; }...