<<>> <> <> <> <> DIRECTORY MailFormatP1516V3; MailFormatP1516V3Aux: CEDAR DEFINITIONS ~ { OPEN MailFormatP1516V3; ExposeAttribute: PROC [arg: Attribute, level: NAT] RETURNS [res: ROPE]; ExposeForwardedHeadings: PROC [arg: ForwardedHeadings, level: NAT] RETURNS [res: ROPE]; ExposeHeadingAtt: PROC [arg: HeadingAtt, level: NAT] RETURNS [res: ROPE]; ExposeVal: PROC [arg: Val, level: NAT] RETURNS [res: ROPE]; ExposeNullRecord: PROC [arg: NullRecord, level: NAT] RETURNS [res: ROPE]; ExposeSensitivity: PROC [arg: Sensitivity, level: NAT] RETURNS [res: ROPE]; ExposeIPMessageIDList: PROC [arg: IPMessageIDList, level: NAT] RETURNS [res: ROPE]; ExposeIPMessageID: PROC [arg: IPMessageID, level: NAT] RETURNS [res: ROPE]; ExposeImmutable: PROC [arg: Immutable, level: NAT] RETURNS [res: ROPE]; ExposeHeadingBodyPart: PROC [arg: HeadingBodyPart, level: NAT] RETURNS [res: ROPE]; ExposeassocBP: PROC [arg: assocBP, level: NAT] RETURNS [res: ROPE]; ExposeForwardedMessageInfo: PROC [arg: ForwardedMessageInfo, level: NAT] RETURNS [res: ROPE]; ExposeRNameList: PROC [arg: RNameList, level: NAT] RETURNS [res: ROPE]; ExposeImportance: PROC [arg: Importance, level: NAT] RETURNS [res: ROPE]; ExposeEnvelopeAtt: PROC [arg: EnvelopeAtt, level: NAT] RETURNS [res: ROPE]; ExposeIndexOfParentHeadingKind: PROC [arg: IndexOfParentHeadingKind, level: NAT] RETURNS [res: ROPE]; ExposeIndexOfParentHeading: PROC [arg: IndexOfParentHeading, level: NAT] RETURNS [res: ROPE]; ExposeNestedIndex: PROC [arg: NestedIndex, level: NAT] RETURNS [res: ROPE]; }...