DIRECTORY
SaffronTreeBucketDef,
SaffronTreeDeclsDef,
SaffronATDef;

SaffronAG3Def: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeBucketDef, SaffronTreeDeclsDef, SaffronATDef;


NewplainProdData: TYPE = REF NewplainProdDataBody;
NewplainProdDataBody: TYPE = RECORD[
];

NewplainProdProcs: NewNodeProcs;

BuildNewplainProdNode: PROC[position: INT, length: INT]
RETURNS[NewNode];

NewplainProdfoo: fooProcType;


NewzonedProdData: TYPE = REF NewzonedProdDataBody;
NewzonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];

NewzonedProdProcs: NewNodeProcs;

BuildNewzonedProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[NewNode];

NewzonedProdfoo: fooProcType;


ConsplainProdData: TYPE = REF ConsplainProdDataBody;
ConsplainProdDataBody: TYPE = RECORD[
];

ConsplainProdProcs: ConsNodeProcs;

BuildConsplainProdNode: PROC[position: INT, length: INT]
RETURNS[ConsNode];

ConsplainProdfoo: fooProcType;


ConszonedProdData: TYPE = REF ConszonedProdDataBody;
ConszonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];

ConszonedProdProcs: ConsNodeProcs;

BuildConszonedProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[ConsNode];

ConszonedProdfoo: fooProcType;


ListConsplainProdData: TYPE = REF ListConsplainProdDataBody;
ListConsplainProdDataBody: TYPE = RECORD[
];

ListConsplainProdProcs: ListConsNodeProcs;

BuildListConsplainProdNode: PROC[position: INT, length: INT]
RETURNS[ListConsNode];

ListConsplainProdfoo: fooProcType;


ListConszonedProdData: TYPE = REF ListConszonedProdDataBody;
ListConszonedProdDataBody: TYPE = RECORD[
Exp: ExpNode];

ListConszonedProdProcs: ListConsNodeProcs;

BuildListConszonedProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[ListConsNode];

ListConszonedProdfoo: fooProcType;


DescListexplicitlengthProdData: TYPE = REF DescListexplicitlengthProdDataBody;
DescListexplicitlengthProdDataBody: TYPE = RECORD[
Expbase: ExpNode, Explength: ExpNode, OptType: OptTypeNode];

DescListexplicitlengthProdProcs: DescListNodeProcs;

BuildDescListexplicitlengthProdNode: PROC[position: INT, length: INT, Expbase: ExpNode, Explength: ExpNode, OptType: OptTypeNode]
RETURNS[DescListNode];

DescListexplicitlengthProdfoo: fooProcType;


DescListdefaultlengthProdData: TYPE = REF DescListdefaultlengthProdDataBody;
DescListdefaultlengthProdDataBody: TYPE = RECORD[
Exp: ExpNode];

DescListdefaultlengthProdProcs: DescListNodeProcs;

BuildDescListdefaultlengthProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[DescListNode];

DescListdefaultlengthProdfoo: fooProcType;


InitializationemptyProdData: TYPE = REF InitializationemptyProdDataBody;
InitializationemptyProdDataBody: TYPE = RECORD[
];

InitializationemptyProdProcs: InitializationNodeProcs;

BuildInitializationemptyProdNode: PROC[position: INT, length: INT]
RETURNS[InitializationNode];

InitializationemptyProdfoo: fooProcType;
InitializationemptyProdMakeValue: MakeValueProcType;


InitializationbindingProdData: TYPE = REF InitializationbindingProdDataBody;
InitializationbindingProdDataBody: TYPE = RECORD[
InitialValue: InitialValueNode];

InitializationbindingProdProcs: InitializationNodeProcs;

BuildInitializationbindingProdNode: PROC[position: INT, length: INT, InitialValue: InitialValueNode]
RETURNS[InitializationNode];

InitializationbindingProdfoo: fooProcType;
InitializationbindingProdMakeValue: MakeValueProcType;


InitializationassignmentProdData: TYPE = REF InitializationassignmentProdDataBody;
InitializationassignmentProdDataBody: TYPE = RECORD[
InitialValue: InitialValueNode];

InitializationassignmentProdProcs: InitializationNodeProcs;

BuildInitializationassignmentProdNode: PROC[position: INT, length: INT, InitialValue: InitialValueNode]
RETURNS[InitializationNode];

InitializationassignmentProdfoo: fooProcType;
InitializationassignmentProdMakeValue: MakeValueProcType;


InitialValuetrashProdData: TYPE = REF InitialValuetrashProdDataBody;
InitialValuetrashProdDataBody: TYPE = RECORD[
];

InitialValuetrashProdProcs: InitialValueNodeProcs;

BuildInitialValuetrashProdNode: PROC[position: INT, length: INT]
RETURNS[InitialValueNode];

InitialValuetrashProdfoo: fooProcType;
InitialValuetrashProdMakeValue: MakeValueProcType;


InitialValuecodeProdData: TYPE = REF InitialValuecodeProdDataBody;
InitialValuecodeProdDataBody: TYPE = RECORD[
];

InitialValuecodeProdProcs: InitialValueNodeProcs;

BuildInitialValuecodeProdNode: PROC[position: INT, length: INT]
RETURNS[InitialValueNode];

InitialValuecodeProdfoo: fooProcType;
InitialValuecodeProdMakeValue: MakeValueProcType;


InitialValueexpProdData: TYPE = REF InitialValueexpProdDataBody;
InitialValueexpProdDataBody: TYPE = RECORD[
Exp: ExpNode];

InitialValueexpProdProcs: InitialValueNodeProcs;

BuildInitialValueexpProdNode: PROC[position: INT, length: INT, Exp: ExpNode]
RETURNS[InitialValueNode];

InitialValueexpProdfoo: fooProcType;
InitialValueexpProdMakeValue: MakeValueProcType;


InitialValueblockProdData: TYPE = REF InitialValueblockProdDataBody;
InitialValueblockProdDataBody: TYPE = RECORD[
Checked: CheckedNode, Inline: InlineNode, Block: BlockNode];

InitialValueblockProdProcs: InitialValueNodeProcs;

BuildInitialValueblockProdNode: PROC[position: INT, length: INT, Checked: CheckedNode, Inline: InlineNode, Block: BlockNode]
RETURNS[InitialValueNode];

InitialValueblockProdfoo: fooProcType;
InitialValueblockProdMakeValue: MakeValueProcType;


InitialValuemachinecodeProdData: TYPE = REF InitialValuemachinecodeProdDataBody;
InitialValuemachinecodeProdDataBody: TYPE = RECORD[
Checked: CheckedNode, CodeList: CodeListNode];

InitialValuemachinecodeProdProcs: InitialValueNodeProcs;

BuildInitialValuemachinecodeProdNode: PROC[position: INT, length: INT, Checked: CheckedNode, CodeList: CodeListNode]
RETURNS[InitialValueNode];

InitialValuemachinecodeProdfoo: fooProcType;
InitialValuemachinecodeProdMakeValue: MakeValueProcType;


CheckedemptyProdData: TYPE = REF CheckedemptyProdDataBody;
CheckedemptyProdDataBody: TYPE = RECORD[
];

CheckedemptyProdProcs: CheckedNodeProcs;

BuildCheckedemptyProdNode: PROC[position: INT, length: INT]
RETURNS[CheckedNode];

CheckedemptyProdfoo: fooProcType;


CheckedcheckedProdData: TYPE = REF CheckedcheckedProdDataBody;
CheckedcheckedProdDataBody: TYPE = RECORD[
];

CheckedcheckedProdProcs: CheckedNodeProcs;

BuildCheckedcheckedProdNode: PROC[position: INT, length: INT]
RETURNS[CheckedNode];

CheckedcheckedProdfoo: fooProcType;


CheckedtrustedProdData: TYPE = REF CheckedtrustedProdDataBody;
CheckedtrustedProdDataBody: TYPE = RECORD[
];

CheckedtrustedProdProcs: CheckedNodeProcs;

BuildCheckedtrustedProdNode: PROC[position: INT, length: INT]
RETURNS[CheckedNode];

CheckedtrustedProdfoo: fooProcType;


CheckeduncheckedProdData: TYPE = REF CheckeduncheckedProdDataBody;
CheckeduncheckedProdDataBody: TYPE = RECORD[
];

CheckeduncheckedProdProcs: CheckedNodeProcs;

BuildCheckeduncheckedProdNode: PROC[position: INT, length: INT]
RETURNS[CheckedNode];

CheckeduncheckedProdfoo: fooProcType;


InlineyesProdData: TYPE = REF InlineyesProdDataBody;
InlineyesProdDataBody: TYPE = RECORD[
];

InlineyesProdProcs: InlineNodeProcs;

BuildInlineyesProdNode: PROC[position: INT, length: INT]
RETURNS[InlineNode];

InlineyesProdfoo: fooProcType;


InlinenoProdData: TYPE = REF InlinenoProdDataBody;
InlinenoProdDataBody: TYPE = RECORD[
];

InlinenoProdProcs: InlineNodeProcs;

BuildInlinenoProdNode: PROC[position: INT, length: INT]
RETURNS[InlineNode];

InlinenoProdfoo: fooProcType;


CodeListoneProdData: TYPE = REF CodeListoneProdDataBody;
CodeListoneProdDataBody: TYPE = RECORD[
OrderList: OrderListNode];

CodeListoneProdProcs: CodeListNodeProcs;

BuildCodeListoneProdNode: PROC[position: INT, length: INT, OrderList: OrderListNode]
RETURNS[CodeListNode];

CodeListoneProdfoo: fooProcType;


CodeListmoreProdData: TYPE = REF CodeListmoreProdDataBody;
CodeListmoreProdDataBody: TYPE = RECORD[
CodeList: CodeListNode, OrderList: OrderListNode];

CodeListmoreProdProcs: CodeListNodeProcs;

BuildCodeListmoreProdNode: PROC[position: INT, length: INT, CodeList: CodeListNode, OrderList: OrderListNode]
RETURNS[CodeListNode];

CodeListmoreProdfoo: fooProcType;


TransferOpsignalProdData: TYPE = REF TransferOpsignalProdDataBody;
TransferOpsignalProdDataBody: TYPE = RECORD[
];

TransferOpsignalProdProcs: TransferOpNodeProcs;

BuildTransferOpsignalProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOpsignalProdfoo: fooProcType;


TransferOperrorProdData: TYPE = REF TransferOperrorProdDataBody;
TransferOperrorProdDataBody: TYPE = RECORD[
];

TransferOperrorProdProcs: TransferOpNodeProcs;

BuildTransferOperrorProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOperrorProdfoo: fooProcType;


TransferOpstartProdData: TYPE = REF TransferOpstartProdDataBody;
TransferOpstartProdDataBody: TYPE = RECORD[
];

TransferOpstartProdProcs: TransferOpNodeProcs;

BuildTransferOpstartProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOpstartProdfoo: fooProcType;


TransferOpjoinProdData: TYPE = REF TransferOpjoinProdDataBody;
TransferOpjoinProdDataBody: TYPE = RECORD[
];

TransferOpjoinProdProcs: TransferOpNodeProcs;

BuildTransferOpjoinProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOpjoinProdfoo: fooProcType;


TransferOpnewProdData: TYPE = REF TransferOpnewProdDataBody;
TransferOpnewProdDataBody: TYPE = RECORD[
];

TransferOpnewProdProcs: TransferOpNodeProcs;

BuildTransferOpnewProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOpnewProdfoo: fooProcType;


TransferOpforkProdData: TYPE = REF TransferOpforkProdDataBody;
TransferOpforkProdDataBody: TYPE = RECORD[
];

TransferOpforkProdProcs: TransferOpNodeProcs;

BuildTransferOpforkProdNode: PROC[position: INT, length: INT]
RETURNS[TransferOpNode];

TransferOpforkProdfoo: fooProcType;
END..

SaffronAG3Def.mesa
Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
Generated by BJackson.pa at April 27, 1987 10:51:15 pm PDT
using ThreeCasabaFour [1.1] of April 14, 1987 6:34:07 pm PDT
NewplainProd
NewzonedProd
ConsplainProd
ConszonedProd
ListConsplainProd
ListConszonedProd
DescListexplicitlengthProd
DescListdefaultlengthProd
InitializationemptyProd
InitializationbindingProd
InitializationassignmentProd
InitialValuetrashProd
InitialValuecodeProd
InitialValueexpProd
InitialValueblockProd
InitialValuemachinecodeProd
CheckedemptyProd
CheckedcheckedProd
CheckedtrustedProd
CheckeduncheckedProd
InlineyesProd
InlinenoProd
CodeListoneProd
CodeListmoreProd
TransferOpsignalProd
TransferOperrorProd
TransferOpstartProd
TransferOpjoinProd
TransferOpnewProd
TransferOpforkProd
�Ê阚
œ™Jš
œ<™<Jš
œ:™:Jš
œ<™<—J˜š
Ïk	˜	J˜J˜J˜
—J˜JšÏn
œ�œ
�œ˜#Jš
�˜Jš�œ9˜=J˜Jš
œ™J˜Jšœ�œ�œ˜2Jšœ�œ�œ
˜$J˜J˜Jšžœ˜ J˜šžœ�œ�œ
�œ
˜7Jš�œ
˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜2Jšœ�œ�œ
˜$Jšžœ˜J˜Jšžœ˜ J˜š
žœ�œ�œ
�œžœ
˜EJš�œ
˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%J˜J˜Jšžœ˜"J˜šžœ�œ�œ
�œ
˜8Jš�œ˜—J˜J˜J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%Jšžœ˜J˜Jšžœ˜"J˜š
žœ�œ�œ
�œžœ
˜FJš�œ˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜<Jšœ�œ�œ
˜)J˜J˜Jšžœ˜*J˜šžœ�œ�œ
�œ
˜<Jš�œ˜—J˜J˜"J˜Jš
œ™J˜Jšœ�œ�œ˜<Jšœ�œ�œ
˜)Jšžœ˜J˜Jšžœ˜*J˜š
žœ�œ�œ
�œžœ
˜JJš�œ˜—J˜J˜"J˜Jš
œ™J˜Jšœ �œ�œ$˜NJšœ$�œ�œ
˜2Jšžœž	œžœ˜<J˜Jšžœ˜3J˜šž#œ�œ�œ
�œžœž	œžœ˜�
Jš�œ˜—J˜J˜+J˜Jš
œ™J˜Jšœ�œ�œ#˜LJšœ#�œ�œ
˜1Jšžœ˜J˜Jšžœ˜2J˜š
ž"œ�œ�œ
�œžœ
˜RJš�œ˜—J˜J˜*J˜Jš
œ™J˜Jšœ�œ�œ!˜HJšœ!�œ�œ
˜/J˜J˜Jšžœ˜6J˜šž œ�œ�œ
�œ
˜BJš�œ˜—J˜J˜(Jšž œ˜4J˜Jš
œ™J˜Jšœ�œ�œ#˜LJšœ#�œ�œ
˜1Jšžœ˜ J˜Jšžœ˜8J˜š
ž"œ�œ�œ
�œžœ˜dJš�œ˜—J˜J˜*Jšž"œ˜6J˜Jš
œ™J˜Jšœ"�œ�œ&˜RJšœ&�œ�œ
˜4Jšžœ˜ J˜Jšž!œ˜;J˜š
ž%œ�œ�œ
�œžœ˜gJš�œ˜—J˜J˜-Jšž%œ˜9J˜Jš
œ™J˜Jšœ�œ�œ˜DJšœ�œ�œ
˜-J˜J˜Jšžœ˜2J˜šžœ�œ�œ
�œ
˜@Jš�œ˜—J˜J˜&Jšžœ˜2J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜1J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%Jšžœ˜1J˜Jš
œ™J˜Jšœ�œ�œ˜@Jšœ�œ�œ
˜+Jšžœ˜J˜Jšžœ˜0J˜š
žœ�œ�œ
�œžœ
˜LJš�œ˜—J˜J˜$Jšžœ˜0J˜Jš
œ™J˜Jšœ�œ�œ˜DJšœ�œ�œ
˜-Jšžœžœžœ
˜<J˜Jšžœ˜2J˜šžœ�œ�œ
�œžœžœžœ˜|Jš�œ˜—J˜J˜&Jšžœ˜2J˜Jš
œ™J˜Jšœ!�œ�œ%˜PJšœ%�œ�œ
˜3Jšžœžœ˜.J˜Jšž œ˜8J˜šž$œ�œ�œ
�œžœžœ˜tJš�œ˜—J˜J˜,Jšž$œ˜8J˜Jš
œ™J˜Jšœ�œ�œ˜:Jšœ�œ�œ
˜(J˜J˜Jšžœ˜(J˜šžœ�œ�œ
�œ
˜;Jš�œ˜—J˜J˜!J˜Jš
œ™J˜Jšœ�œ�œ˜>Jšœ�œ�œ
˜*J˜J˜Jšžœ˜*J˜šžœ�œ�œ
�œ
˜=Jš�œ˜—J˜J˜#J˜Jš
œ™J˜Jšœ�œ�œ˜>Jšœ�œ�œ
˜*J˜J˜Jšžœ˜*J˜šžœ�œ�œ
�œ
˜=Jš�œ˜—J˜J˜#J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜,J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%J˜Jš
œ
™
J˜Jšœ�œ�œ˜4Jšœ�œ�œ
˜%J˜J˜Jšžœ˜$J˜šžœ�œ�œ
�œ
˜8Jš�œ
˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜2Jšœ�œ�œ
˜$J˜J˜Jšžœ˜#J˜šžœ�œ�œ
�œ
˜7Jš�œ
˜—J˜J˜J˜Jš
œ™J˜Jšœ�œ�œ˜8Jšœ�œ�œ
˜'Jšž	œ˜J˜Jšžœ˜(J˜š
žœ�œ�œ
�œž	œ˜TJš�œ˜—J˜J˜ J˜Jš
œ™J˜Jšœ�œ�œ˜:Jšœ�œ�œ
˜(Jšžœž	œ˜2J˜Jšžœ˜)J˜šžœ�œ�œ
�œžœž	œ˜mJš�œ˜—J˜J˜!J˜Jš
œ™J˜Jšœ�œ�œ˜BJšœ�œ�œ
˜,J˜J˜Jšžœ˜/J˜šžœ�œ�œ
�œ
˜?Jš�œ˜—J˜J˜%J˜Jš
œ™J˜Jšœ�œ�œ˜@Jšœ�œ�œ
˜+J˜J˜Jšžœ˜.J˜šžœ�œ�œ
�œ
˜>Jš�œ˜—J˜J˜$J˜Jš
œ™J˜Jšœ�œ�œ˜@Jšœ�œ�œ
˜+J˜J˜Jšžœ˜.J˜šžœ�œ�œ
�œ
˜>Jš�œ˜—J˜J˜$J˜Jš
œ™J˜Jšœ�œ�œ˜>Jšœ�œ�œ
˜*J˜J˜Jšžœ˜-J˜šžœ�œ�œ
�œ
˜=Jš�œ˜—J˜J˜#J˜Jš
œ™J˜Jšœ�œ�œ˜<Jšœ�œ�œ
˜)J˜J˜Jšžœ˜,J˜šžœ�œ�œ
�œ
˜<Jš�œ˜—J˜J˜"J˜Jš
œ™J˜Jšœ�œ�œ˜>Jšœ�œ�œ
˜*J˜J˜Jšžœ˜-J˜šžœ�œ�œ
�œ
˜=Jš�œ˜—J˜J˜#Jš�œ˜J˜—…—&„6‡