-- SaffronATDef.mesa
 -- Copyright Ó 1987 by Xerox Corporation.  All rights reserved.
 -- Generated by Rauen.pa at September 1, 1988 2:45:02 pm PDT
 --  using ThreeCasabaFour [1.2] of June 1, 1987 6:00:00 pm PDT

DIRECTORY
	SaffronTreeDeclsDef,
	SaffronBaseDef;

SaffronATDef: CEDAR DEFINITIONS = 
BEGIN
OPEN SaffronTreeDeclsDef, SaffronBaseDef;
fooProcType:	TYPE = PROC[REF ANY] RETURNS[INT];

MakeUnparsedValue:	PROC[ExpNode] RETURNS[ValueNode];

ScopePTreeVal:	PROC[ScopeNode] RETURNS[ScopePTreeNode];

ScopeVal:	PROC[ScopePTreeNode] RETURNS[ScopeNode];

ModulePVal:	PROC[ModulePPTreeNode] RETURNS[ModulePNode];

DefBodyPTreeVal:	PROC[DefBodyNode] RETURNS[DefBodyPTreeNode];

DefBodyVal:	PROC[DefBodyPTreeNode] RETURNS[DefBodyNode];

TypeExpPTreeVal:	PROC[TypeExpNode] RETURNS[TypeExpPTreeNode];

TypeExpVal:	PROC[TypeExpPTreeNode] RETURNS[TypeExpNode];

InitializationPTreeVal:	PROC[InitializationNode] RETURNS[InitializationPTreeNode];

InitializationVal:	PROC[InitializationPTreeNode] RETURNS[InitializationNode];

DeclarationPTreeVal:	PROC[DeclarationNode] RETURNS[DeclarationPTreeNode];

DeclarationVal:	PROC[DeclarationPTreeNode] RETURNS[DeclarationNode];

EvaluateAndTypeCheckExpression:	PROC[ExpNode, LocalContextNode, FieldListNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode];

CompileAndTypeCheckExpression:	PROC[ExpNode, ContextTreeNode, CompilerStateNode, TypeGraphNodeNode] RETURNS[ValueNode, ContextTreeNode];

CompileDecList:	PROC[DecListNode, LocalContextNode, CompilerStateNode] RETURNS[LocalContextNode];


--Top

TopNode:	TYPE = REF TopNodeBody;
TopNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TopNodeProcs,
	data:	REF ANY];

TopNodeProcs:	TYPE = REF TopNodeProcsBody;
TopNodeProcsBody:	TYPE = RECORD[

	DoTop:	DoTopProcType];


--ModuleP

ModulePNode:	TYPE = REF ModulePNodeBody;
ModulePNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ModulePNodeProcs,
	data:	REF ANY];

ModulePNodeProcs:	TYPE = REF ModulePNodeProcsBody;
ModulePNodeProcsBody:	TYPE = RECORD[

	MakeEnvironment:	MakeEnvironmentProcType];


--Directory

DirectoryNode:	TYPE = REF DirectoryNodeBody;
DirectoryNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DirectoryNodeProcs,
	data:	REF ANY];

DirectoryNodeProcs:	TYPE = REF DirectoryNodeProcsBody;
DirectoryNodeProcsBody:	TYPE = RECORD[

	ProcessDirectoryClause:	ProcessDirectoryClauseProcType];


--IncludeItem

IncludeItemNode:	TYPE = REF IncludeItemNodeBody;
IncludeItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	IncludeItemNodeProcs,
	data:	REF ANY];

IncludeItemNodeProcs:	TYPE = REF IncludeItemNodeProcsBody;
IncludeItemNodeProcsBody:	TYPE = RECORD[

	ProcessDirectoryItem:	ProcessDirectoryItemProcType];


--Using

UsingNode:	TYPE = REF UsingNodeBody;
UsingNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	UsingNodeProcs,
	data:	REF ANY];

UsingNodeProcs:	TYPE = REF UsingNodeProcsBody;
UsingNodeProcsBody:	TYPE = RECORD[

	RestrictNamedTGN:	RestrictNamedTGNProcType];


--DefBody

DefBodyNode:	TYPE = REF DefBodyNodeBody;
DefBodyNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DefBodyNodeProcs,
	data:	REF ANY];

DefBodyNodeProcs:	TYPE = REF DefBodyNodeProcsBody;
DefBodyNodeProcsBody:	TYPE = RECORD[

	MakeContextTree:	MakeContextTreeProcType];


--DefHead

DefHeadNode:	TYPE = REF DefHeadNodeBody;
DefHeadNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DefHeadNodeProcs,
	data:	REF ANY];

DefHeadNodeProcs:	TYPE = REF DefHeadNodeProcsBody;
DefHeadNodeProcsBody:	TYPE = RECORD[

	GetAccessVal:	GetAccessValProcType, 
	BuildInterfaceTGN:	BuildInterfaceTGNProcType];


--Cedar

CedarNode:	TYPE = REF CedarNodeBody;
CedarNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CedarNodeProcs,
	data:	REF ANY];

CedarNodeProcs:	TYPE = REF CedarNodeProcsBody;
CedarNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--ProgHead

ProgHeadNode:	TYPE = REF ProgHeadNodeBody;
ProgHeadNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ProgHeadNodeProcs,
	data:	REF ANY];

ProgHeadNodeProcs:	TYPE = REF ProgHeadNodeProcsBody;
ProgHeadNodeProcsBody:	TYPE = RECORD[

	GetAccessVal:	GetAccessValProcType, 
	BuildImplementationTGN:	BuildImplementationTGNProcType];


--Class

ClassNode:	TYPE = REF ClassNodeBody;
ClassNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ClassNodeProcs,
	data:	REF ANY];

ClassNodeProcs:	TYPE = REF ClassNodeProcsBody;
ClassNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Interface

InterfaceNode:	TYPE = REF InterfaceNodeBody;
InterfaceNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	InterfaceNodeProcs,
	data:	REF ANY];

InterfaceNodeProcs:	TYPE = REF InterfaceNodeProcsBody;
InterfaceNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ModuleList

ModuleListNode:	TYPE = REF ModuleListNodeBody;
ModuleListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ModuleListNodeProcs,
	data:	REF ANY];

ModuleListNodeProcs:	TYPE = REF ModuleListNodeProcsBody;
ModuleListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ModuleItem

ModuleItemNode:	TYPE = REF ModuleItemNodeBody;
ModuleItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ModuleItemNodeProcs,
	data:	REF ANY];

ModuleItemNodeProcs:	TYPE = REF ModuleItemNodeProcsBody;
ModuleItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Lambda

LambdaNode:	TYPE = REF LambdaNodeBody;
LambdaNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	LambdaNodeProcs,
	data:	REF ANY];

LambdaNodeProcs:	TYPE = REF LambdaNodeProcsBody;
LambdaNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Locks

LocksNode:	TYPE = REF LocksNodeBody;
LocksNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	LocksNodeProcs,
	data:	REF ANY];

LocksNodeProcs:	TYPE = REF LocksNodeProcsBody;
LocksNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Shares

SharesNode:	TYPE = REF SharesNodeBody;
SharesNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SharesNodeProcs,
	data:	REF ANY];

SharesNodeProcs:	TYPE = REF SharesNodeProcsBody;
SharesNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Entry

EntryNode:	TYPE = REF EntryNodeBody;
EntryNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	EntryNodeProcs,
	data:	REF ANY];

EntryNodeProcs:	TYPE = REF EntryNodeProcsBody;
EntryNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Inline

InlineNode:	TYPE = REF InlineNodeBody;
InlineNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	InlineNodeProcs,
	data:	REF ANY];

InlineNodeProcs:	TYPE = REF InlineNodeProcsBody;
InlineNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--OptSize

OptSizeNode:	TYPE = REF OptSizeNodeBody;
OptSizeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptSizeNodeProcs,
	data:	REF ANY];

OptSizeNodeProcs:	TYPE = REF OptSizeNodeProcsBody;
OptSizeNodeProcsBody:	TYPE = RECORD[

	GetExpVal:	GetExpValProcType];


--OptType

OptTypeNode:	TYPE = REF OptTypeNodeBody;
OptTypeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptTypeNodeProcs,
	data:	REF ANY];

OptTypeNodeProcs:	TYPE = REF OptTypeNodeProcsBody;
OptTypeNodeProcsBody:	TYPE = RECORD[

	MakeType:	MakeTypeProcType];


--BindList

BindListNode:	TYPE = REF BindListNodeBody;
BindListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	BindListNodeProcs,
	data:	REF ANY];

BindListNodeProcs:	TYPE = REF BindListNodeProcsBody;
BindListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Uncounted

UncountedNode:	TYPE = REF UncountedNodeBody;
UncountedNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	UncountedNodeProcs,
	data:	REF ANY];

UncountedNodeProcs:	TYPE = REF UncountedNodeProcsBody;
UncountedNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--MachineDependent

MachineDependentNode:	TYPE = REF MachineDependentNodeBody;
MachineDependentNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	MachineDependentNodeProcs,
	data:	REF ANY];

MachineDependentNodeProcs:	TYPE = REF MachineDependentNodeProcsBody;
MachineDependentNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--Monitored

MonitoredNode:	TYPE = REF MonitoredNodeBody;
MonitoredNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	MonitoredNodeProcs,
	data:	REF ANY];

MonitoredNodeProcs:	TYPE = REF MonitoredNodeProcsBody;
MonitoredNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--ElementList

ElementListNode:	TYPE = REF ElementListNodeBody;
ElementListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ElementListNodeProcs,
	data:	REF ANY];

ElementListNodeProcs:	TYPE = REF ElementListNodeProcsBody;
ElementListNodeProcsBody:	TYPE = RECORD[

	MakeElementList:	MakeElementListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType];


--Element

ElementNode:	TYPE = REF ElementNodeBody;
ElementNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ElementNodeProcs,
	data:	REF ANY];

ElementNodeProcs:	TYPE = REF ElementNodeProcsBody;
ElementNodeProcsBody:	TYPE = RECORD[

	ElementInfo:	ElementInfoProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType];


--RecList

RecListNode:	TYPE = REF RecListNodeBody;
RecListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	RecListNodeProcs,
	data:	REF ANY];

RecListNodeProcs:	TYPE = REF RecListNodeProcsBody;
RecListNodeProcsBody:	TYPE = RECORD[

	MakeFieldList:	MakeFieldListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--PairList

PairListNode:	TYPE = REF PairListNodeBody;
PairListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PairListNodeProcs,
	data:	REF ANY];

PairListNodeProcs:	TYPE = REF PairListNodeProcsBody;
PairListNodeProcsBody:	TYPE = RECORD[

	AddPairsToFieldList:	AddPairsToFieldListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--PairItem

PairItemNode:	TYPE = REF PairItemNodeBody;
PairItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PairItemNodeProcs,
	data:	REF ANY];

PairItemNodeProcs:	TYPE = REF PairItemNodeProcsBody;
PairItemNodeProcsBody:	TYPE = RECORD[

	AddPairsToFieldList:	AddPairsToFieldListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--TypeList

TypeListNode:	TYPE = REF TypeListNodeBody;
TypeListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeListNodeProcs,
	data:	REF ANY];

TypeListNodeProcs:	TYPE = REF TypeListNodeProcsBody;
TypeListNodeProcsBody:	TYPE = RECORD[

	AddToFieldList:	AddToFieldListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--TypeItem

TypeItemNode:	TYPE = REF TypeItemNodeBody;
TypeItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeItemNodeProcs,
	data:	REF ANY];

TypeItemNodeProcs:	TYPE = REF TypeItemNodeProcsBody;
TypeItemNodeProcsBody:	TYPE = RECORD[

	AddToFieldList:	AddToFieldListProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--IdentList

IdentListNode:	TYPE = REF IdentListNodeBody;
IdentListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	IdentListNodeProcs,
	data:	REF ANY];

IdentListNodeProcs:	TYPE = REF IdentListNodeProcsBody;
IdentListNodeProcsBody:	TYPE = RECORD[

	AddNamesToFieldList:	AddNamesToFieldListProcType, 
	MakeNameSequence:	MakeNameSequenceProcType, 
	AddNamesToSequence:	AddNamesToSequenceProcType, 
	AddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType, 
	AddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType, 
	MakeCodeToStoreTOSInVariousLocalFrameSlots:	MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType];


--Tag

TagNode:	TYPE = REF TagNodeBody;
TagNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TagNodeProcs,
	data:	REF ANY];

TagNodeProcs:	TYPE = REF TagNodeProcsBody;
TagNodeProcsBody:	TYPE = RECORD[

	MakeVariantFlavor:	MakeVariantFlavorProcType, 
	MakeTagType:	MakeTagTypeProcType, 
	GetSequenceTagInfo:	GetSequenceTagInfoProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--TagType

TagTypeNode:	TYPE = REF TagTypeNodeBody;
TagTypeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TagTypeNodeProcs,
	data:	REF ANY];

TagTypeNodeProcs:	TYPE = REF TagTypeNodeProcsBody;
TagTypeNodeProcsBody:	TYPE = RECORD[

	MakeTagType:	MakeTagTypeProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--VariantList

VariantListNode:	TYPE = REF VariantListNodeBody;
VariantListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	VariantListNodeProcs,
	data:	REF ANY];

VariantListNodeProcs:	TYPE = REF VariantListNodeProcsBody;
VariantListNodeProcsBody:	TYPE = RECORD[

	MakeUnionList:	MakeUnionListProcType, 
	AddVariantsToUnionList:	AddVariantsToUnionListProcType, 
	MakeStarTagType:	MakeStarTagTypeProcType, 
	AddVariantNamesToEnumTypeTGN:	AddVariantNamesToEnumTypeTGNProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--VariantItem

VariantItemNode:	TYPE = REF VariantItemNodeBody;
VariantItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	VariantItemNodeProcs,
	data:	REF ANY];

VariantItemNodeProcs:	TYPE = REF VariantItemNodeProcsBody;
VariantItemNodeProcsBody:	TYPE = RECORD[

	AddVariantsToUnionList:	AddVariantsToUnionListProcType, 
	AddVariantNamesToEnumTypeTGN:	AddVariantNamesToEnumTypeTGNProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--Packed

PackedNode:	TYPE = REF PackedNodeBody;
PackedNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PackedNodeProcs,
	data:	REF ANY];

PackedNodeProcs:	TYPE = REF PackedNodeProcsBody;
PackedNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--Ordered

OrderedNode:	TYPE = REF OrderedNodeBody;
OrderedNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OrderedNodeProcs,
	data:	REF ANY];

OrderedNodeProcs:	TYPE = REF OrderedNodeProcsBody;
OrderedNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--Base

BaseNode:	TYPE = REF BaseNodeBody;
BaseNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	BaseNodeProcs,
	data:	REF ANY];

BaseNodeProcs:	TYPE = REF BaseNodeProcsBody;
BaseNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--PointerType

PointerTypeNode:	TYPE = REF PointerTypeNodeBody;
PointerTypeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PointerTypeNodeProcs,
	data:	REF ANY];

PointerTypeNodeProcs:	TYPE = REF PointerTypeNodeProcsBody;
PointerTypeNodeProcsBody:	TYPE = RECORD[

	GetPointerTypeInfo:	GetPointerTypeInfoProcType];


--OptInterval

OptIntervalNode:	TYPE = REF OptIntervalNodeBody;
OptIntervalNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptIntervalNodeProcs,
	data:	REF ANY];

OptIntervalNodeProcs:	TYPE = REF OptIntervalNodeProcsBody;
OptIntervalNodeProcsBody:	TYPE = RECORD[

	GetBoundsVal:	GetBoundsValProcType];


--DecList

DecListNode:	TYPE = REF DecListNodeBody;
DecListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DecListNodeProcs,
	data:	REF ANY];

DecListNodeProcs:	TYPE = REF DecListNodeProcsBody;
DecListNodeProcsBody:	TYPE = RECORD[

	UpdateLocalContext:	UpdateLocalContextProcType, 
	AddDeclarationsToFieldList:	AddDeclarationsToFieldListProcType, 
	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	Compile:	CompileProcType];


--Declaration

DeclarationNode:	TYPE = REF DeclarationNodeBody;
DeclarationNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DeclarationNodeProcs,
	data:	REF ANY];

DeclarationNodeProcs:	TYPE = REF DeclarationNodeProcsBody;
DeclarationNodeProcsBody:	TYPE = RECORD[

	AddDeclarationToFieldList:	AddDeclarationToFieldListProcType, 
	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	Compile:	CompileProcType];


--OptDecList

OptDecListNode:	TYPE = REF OptDecListNodeBody;
OptDecListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptDecListNodeProcs,
	data:	REF ANY];

OptDecListNodeProcs:	TYPE = REF OptDecListNodeProcsBody;
OptDecListNodeProcsBody:	TYPE = RECORD[

	UpdateLocalContext:	UpdateLocalContextProcType, 
	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	AddDeclarationsToFieldList:	AddDeclarationsToFieldListProcType, 
	Compile:	CompileProcType];


--DescList

DescListNode:	TYPE = REF DescListNodeBody;
DescListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DescListNodeProcs,
	data:	REF ANY];

DescListNodeProcs:	TYPE = REF DescListNodeProcsBody;
DescListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Initialization

InitializationNode:	TYPE = REF InitializationNodeBody;
InitializationNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	InitializationNodeProcs,
	data:	REF ANY];

InitializationNodeProcs:	TYPE = REF InitializationNodeProcsBody;
InitializationNodeProcsBody:	TYPE = RECORD[

	InitializationIsEmpty:	InitializationIsEmptyProcType, 
	InitializationIsBinding:	InitializationIsBindingProcType, 
	InitializationIsAssignment:	InitializationIsAssignmentProcType, 
	CompileInitialization:	CompileInitializationProcType, 
	AddValueDependencies:	AddValueDependenciesProcType];


--InitialValue

InitialValueNode:	TYPE = REF InitialValueNodeBody;
InitialValueNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	InitialValueNodeProcs,
	data:	REF ANY];

InitialValueNodeProcs:	TYPE = REF InitialValueNodeProcsBody;
InitialValueNodeProcsBody:	TYPE = RECORD[

	CompileInitialization:	CompileInitializationProcType, 
	AddValueDependencies:	AddValueDependenciesProcType];


--Scope

ScopeNode:	TYPE = REF ScopeNodeBody;
ScopeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ScopeNodeProcs,
	data:	REF ANY];

ScopeNodeProcs:	TYPE = REF ScopeNodeProcsBody;
ScopeNodeProcsBody:	TYPE = RECORD[

	CompileScope:	CompileScopeProcType];


--Ident

IdentNode:	TYPE = REF IdentNodeBody;
IdentNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	IdentNodeProcs,
	data:	REF ANY];

IdentNodeProcs:	TYPE = REF IdentNodeProcsBody;
IdentNodeProcsBody:	TYPE = RECORD[

	AddNamesToFieldList:	AddNamesToFieldListProcType, 
	GetIdentInfo:	GetIdentInfoProcType, 
	AddNamesToSequence:	AddNamesToSequenceProcType, 
	AddValueDeclarationToFieldList:	AddValueDeclarationToFieldListProcType, 
	AddTypeDeclarationToFieldList:	AddTypeDeclarationToFieldListProcType, 
	MakeCodeToStoreTOSInVariousLocalFrameSlots:	MakeCodeToStoreTOSInVariousLocalFrameSlotsProcType];


--OptArgs

OptArgsNode:	TYPE = REF OptArgsNodeBody;
OptArgsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptArgsNodeProcs,
	data:	REF ANY];

OptArgsNodeProcs:	TYPE = REF OptArgsNodeProcsBody;
OptArgsNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--BindItem

BindItemNode:	TYPE = REF BindItemNodeBody;
BindItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	BindItemNodeProcs,
	data:	REF ANY];

BindItemNodeProcs:	TYPE = REF BindItemNodeProcsBody;
BindItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--KeyList

KeyListNode:	TYPE = REF KeyListNodeBody;
KeyListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	KeyListNodeProcs,
	data:	REF ANY];

KeyListNodeProcs:	TYPE = REF KeyListNodeProcsBody;
KeyListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--KeyItem

KeyItemNode:	TYPE = REF KeyItemNodeBody;
KeyItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	KeyItemNodeProcs,
	data:	REF ANY];

KeyItemNodeProcs:	TYPE = REF KeyItemNodeProcsBody;
KeyItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Relation

RelationNode:	TYPE = REF RelationNodeBody;
RelationNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	RelationNodeProcs,
	data:	REF ANY];

RelationNodeProcs:	TYPE = REF RelationNodeProcsBody;
RelationNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Access

AccessNode:	TYPE = REF AccessNodeBody;
AccessNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	AccessNodeProcs,
	data:	REF ANY];

AccessNodeProcs:	TYPE = REF AccessNodeProcsBody;
AccessNodeProcsBody:	TYPE = RECORD[

	GetAccessVal:	GetAccessValProcType];


--Bounds

BoundsNode:	TYPE = REF BoundsNodeBody;
BoundsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	BoundsNodeProcs,
	data:	REF ANY];

BoundsNodeProcs:	TYPE = REF BoundsNodeProcsBody;
BoundsNodeProcsBody:	TYPE = RECORD[

	GetLowerAndUpper:	GetLowerAndUpperProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType];


--Default

DefaultNode:	TYPE = REF DefaultNodeBody;
DefaultNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DefaultNodeProcs,
	data:	REF ANY];

DefaultNodeProcs:	TYPE = REF DefaultNodeProcsBody;
DefaultNodeProcsBody:	TYPE = RECORD[

	GetDefaultExpVal:	GetDefaultExpValProcType];


--Position

PositionNode:	TYPE = REF PositionNodeBody;
PositionNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PositionNodeProcs,
	data:	REF ANY];

PositionNodeProcs:	TYPE = REF PositionNodeProcsBody;
PositionNodeProcsBody:	TYPE = RECORD[

	GetPositionVal:	GetPositionValProcType];


--OptBits

OptBitsNode:	TYPE = REF OptBitsNodeBody;
OptBitsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptBitsNodeProcs,
	data:	REF ANY];

OptBitsNodeProcs:	TYPE = REF OptBitsNodeProcsBody;
OptBitsNodeProcsBody:	TYPE = RECORD[

	GetBoundsVal:	GetBoundsValProcType];


--Relop

RelopNode:	TYPE = REF RelopNodeBody;
RelopNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	RelopNodeProcs,
	data:	REF ANY];

RelopNodeProcs:	TYPE = REF RelopNodeProcsBody;
RelopNodeProcsBody:	TYPE = RECORD[

	GetRelationOp:	GetRelationOpProcType];


--RelationTail

RelationTailNode:	TYPE = REF RelationTailNodeBody;
RelationTailNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	RelationTailNodeProcs,
	data:	REF ANY];

RelationTailNodeProcs:	TYPE = REF RelationTailNodeProcsBody;
RelationTailNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ExpList

ExpListNode:	TYPE = REF ExpListNodeBody;
ExpListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ExpListNodeProcs,
	data:	REF ANY];

ExpListNodeProcs:	TYPE = REF ExpListNodeProcsBody;
ExpListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Exp

ExpNode:	TYPE = REF ExpNodeBody;
ExpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ExpNodeProcs,
	data:	REF ANY];

ExpNodeProcs:	TYPE = REF ExpNodeProcsBody;
ExpNodeProcsBody:	TYPE = RECORD[

	IdVal:	IdValProcType, 
	CompileExpression:	CompileExpressionProcType, 
	AddValueDependencies:	AddValueDependenciesProcType, 
	CompileLValue:	CompileLValueProcType, 
	EvaluateExpression:	EvaluateExpressionProcType];


--OptExp

OptExpNode:	TYPE = REF OptExpNodeBody;
OptExpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptExpNodeProcs,
	data:	REF ANY];

OptExpNodeProcs:	TYPE = REF OptExpNodeProcsBody;
OptExpNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--OrderList

OrderListNode:	TYPE = REF OrderListNodeBody;
OrderListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OrderListNodeProcs,
	data:	REF ANY];

OrderListNodeProcs:	TYPE = REF OrderListNodeProcsBody;
OrderListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--MultOp

MultOpNode:	TYPE = REF MultOpNodeBody;
MultOpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	MultOpNodeProcs,
	data:	REF ANY];

MultOpNodeProcs:	TYPE = REF MultOpNodeProcsBody;
MultOpNodeProcsBody:	TYPE = RECORD[

	IsTimes:	IsTimesProcType, 
	IsDivide:	IsDivideProcType, 
	IsMod:	IsModProcType];


--AddOp

AddOpNode:	TYPE = REF AddOpNodeBody;
AddOpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	AddOpNodeProcs,
	data:	REF ANY];

AddOpNodeProcs:	TYPE = REF AddOpNodeProcsBody;
AddOpNodeProcsBody:	TYPE = RECORD[

	IsPlus:	IsPlusProcType, 
	IsMinus:	IsMinusProcType];


--ReadOnly

ReadOnlyNode:	TYPE = REF ReadOnlyNodeBody;
ReadOnlyNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ReadOnlyNodeProcs,
	data:	REF ANY];

ReadOnlyNodeProcs:	TYPE = REF ReadOnlyNodeProcsBody;
ReadOnlyNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--CatchAny

CatchAnyNode:	TYPE = REF CatchAnyNodeBody;
CatchAnyNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CatchAnyNodeProcs,
	data:	REF ANY];

CatchAnyNodeProcs:	TYPE = REF CatchAnyNodeProcsBody;
CatchAnyNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Interval

IntervalNode:	TYPE = REF IntervalNodeBody;
IntervalNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	IntervalNodeProcs,
	data:	REF ANY];

IntervalNodeProcs:	TYPE = REF IntervalNodeProcsBody;
IntervalNodeProcsBody:	TYPE = RECORD[

	GetBoundsVal:	GetBoundsValProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	CompileSizeOfTypeExpression:	CompileSizeOfTypeExpressionProcType, 
	CompileFirstOfTypeExpression:	CompileFirstOfTypeExpressionProcType, 
	CompileLastOfTypeExpression:	CompileLastOfTypeExpressionProcType, 
	EvaluateSizeOfTypeExpression:	EvaluateSizeOfTypeExpressionProcType, 
	EvaluateFirstOfTypeExpression:	EvaluateFirstOfTypeExpressionProcType, 
	EvaluateLastOfTypeExpression:	EvaluateLastOfTypeExpressionProcType];


--SelectExpList

SelectExpListNode:	TYPE = REF SelectExpListNodeBody;
SelectExpListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectExpListNodeProcs,
	data:	REF ANY];

SelectExpListNodeProcs:	TYPE = REF SelectExpListNodeProcsBody;
SelectExpListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectExpItem

SelectExpItemNode:	TYPE = REF SelectExpItemNodeBody;
SelectExpItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectExpItemNodeProcs,
	data:	REF ANY];

SelectExpItemNodeProcs:	TYPE = REF SelectExpItemNodeProcsBody;
SelectExpItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--TypeId

TypeIdNode:	TYPE = REF TypeIdNodeBody;
TypeIdNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeIdNodeProcs,
	data:	REF ANY];

TypeIdNodeProcs:	TYPE = REF TypeIdNodeProcsBody;
TypeIdNodeProcsBody:	TYPE = RECORD[

	MakeType:	MakeTypeProcType, 
	LookupTypeId:	LookupTypeIdProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType, 
	CompileSizeOfTypeExpression:	CompileSizeOfTypeExpressionProcType, 
	CompileFirstOfTypeExpression:	CompileFirstOfTypeExpressionProcType, 
	CompileLastOfTypeExpression:	CompileLastOfTypeExpressionProcType, 
	EvaluateSizeOfTypeExpression:	EvaluateSizeOfTypeExpressionProcType, 
	EvaluateFirstOfTypeExpression:	EvaluateFirstOfTypeExpressionProcType, 
	EvaluateLastOfTypeExpression:	EvaluateLastOfTypeExpressionProcType];


--TypeApply

TypeApplyNode:	TYPE = REF TypeApplyNodeBody;
TypeApplyNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeApplyNodeProcs,
	data:	REF ANY];

TypeApplyNodeProcs:	TYPE = REF TypeApplyNodeProcsBody;
TypeApplyNodeProcsBody:	TYPE = RECORD[

	MakeType:	MakeTypeProcType];


--Range

RangeNode:	TYPE = REF RangeNodeBody;
RangeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	RangeNodeProcs,
	data:	REF ANY];

RangeNodeProcs:	TYPE = REF RangeNodeProcsBody;
RangeNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--PrefixOp

PrefixOpNode:	TYPE = REF PrefixOpNodeBody;
PrefixOpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	PrefixOpNodeProcs,
	data:	REF ANY];

PrefixOpNodeProcs:	TYPE = REF PrefixOpNodeProcsBody;
PrefixOpNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--New

NewNode:	TYPE = REF NewNodeBody;
NewNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	NewNodeProcs,
	data:	REF ANY];

NewNodeProcs:	TYPE = REF NewNodeProcsBody;
NewNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Free

FreeNode:	TYPE = REF FreeNodeBody;
FreeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	FreeNodeProcs,
	data:	REF ANY];

FreeNodeProcs:	TYPE = REF FreeNodeProcsBody;
FreeNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Cons

ConsNode:	TYPE = REF ConsNodeBody;
ConsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ConsNodeProcs,
	data:	REF ANY];

ConsNodeProcs:	TYPE = REF ConsNodeProcsBody;
ConsNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ListCons

ListConsNode:	TYPE = REF ListConsNodeBody;
ListConsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ListConsNodeProcs,
	data:	REF ANY];

ListConsNodeProcs:	TYPE = REF ListConsNodeProcsBody;
ListConsNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Safe

SafeNode:	TYPE = REF SafeNodeBody;
SafeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SafeNodeProcs,
	data:	REF ANY];

SafeNodeProcs:	TYPE = REF SafeNodeProcsBody;
SafeNodeProcsBody:	TYPE = RECORD[

	IsKeywordPresent:	IsKeywordPresentProcType];


--TransferMode

TransferModeNode:	TYPE = REF TransferModeNodeBody;
TransferModeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TransferModeNodeProcs,
	data:	REF ANY];

TransferModeNodeProcs:	TYPE = REF TransferModeNodeProcsBody;
TransferModeNodeProcsBody:	TYPE = RECORD[

	MakeTransferMode:	MakeTransferModeProcType];


--ExitItem

ExitItemNode:	TYPE = REF ExitItemNodeBody;
ExitItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ExitItemNodeProcs,
	data:	REF ANY];

ExitItemNodeProcs:	TYPE = REF ExitItemNodeProcsBody;
ExitItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectHead

SelectHeadNode:	TYPE = REF SelectHeadNodeBody;
SelectHeadNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectHeadNodeProcs,
	data:	REF ANY];

SelectHeadNodeProcs:	TYPE = REF SelectHeadNodeProcsBody;
SelectHeadNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectStmtList

SelectStmtListNode:	TYPE = REF SelectStmtListNodeBody;
SelectStmtListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectStmtListNodeProcs,
	data:	REF ANY];

SelectStmtListNodeProcs:	TYPE = REF SelectStmtListNodeProcsBody;
SelectStmtListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectStmtItem

SelectStmtItemNode:	TYPE = REF SelectStmtItemNodeBody;
SelectStmtItemNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectStmtItemNodeProcs,
	data:	REF ANY];

SelectStmtItemNodeProcs:	TYPE = REF SelectStmtItemNodeProcsBody;
SelectStmtItemNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ForClause

ForClauseNode:	TYPE = REF ForClauseNodeBody;
ForClauseNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ForClauseNodeProcs,
	data:	REF ANY];

ForClauseNodeProcs:	TYPE = REF ForClauseNodeProcsBody;
ForClauseNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ControlId

ControlIdNode:	TYPE = REF ControlIdNodeBody;
ControlIdNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ControlIdNodeProcs,
	data:	REF ANY];

ControlIdNodeProcs:	TYPE = REF ControlIdNodeProcsBody;
ControlIdNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Decreasing

DecreasingNode:	TYPE = REF DecreasingNodeBody;
DecreasingNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DecreasingNodeProcs,
	data:	REF ANY];

DecreasingNodeProcs:	TYPE = REF DecreasingNodeProcsBody;
DecreasingNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Transfer

TransferNode:	TYPE = REF TransferNodeBody;
TransferNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TransferNodeProcs,
	data:	REF ANY];

TransferNodeProcs:	TYPE = REF TransferNodeProcsBody;
TransferNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectLabel

SelectLabelNode:	TYPE = REF SelectLabelNodeBody;
SelectLabelNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectLabelNodeProcs,
	data:	REF ANY];

SelectLabelNodeProcs:	TYPE = REF SelectLabelNodeProcsBody;
SelectLabelNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--SelectTestList

SelectTestListNode:	TYPE = REF SelectTestListNodeBody;
SelectTestListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SelectTestListNodeProcs,
	data:	REF ANY];

SelectTestListNodeProcs:	TYPE = REF SelectTestListNodeProcsBody;
SelectTestListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Block

BlockNode:	TYPE = REF BlockNodeBody;
BlockNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	BlockNodeProcs,
	data:	REF ANY];

BlockNodeProcs:	TYPE = REF BlockNodeProcsBody;
BlockNodeProcsBody:	TYPE = RECORD[

	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	MakeContextTree:	MakeContextTreeProcType, 
	CompileFrameBlock:	CompileFrameBlockProcType, 
	Compile:	CompileProcType, 
	InternalCompileBlock:	InternalCompileBlockProcType];


--Checked

CheckedNode:	TYPE = REF CheckedNodeBody;
CheckedNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CheckedNodeProcs,
	data:	REF ANY];

CheckedNodeProcs:	TYPE = REF CheckedNodeProcsBody;
CheckedNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--CodeList

CodeListNode:	TYPE = REF CodeListNodeBody;
CodeListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CodeListNodeProcs,
	data:	REF ANY];

CodeListNodeProcs:	TYPE = REF CodeListNodeProcsBody;
CodeListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Statement

StatementNode:	TYPE = REF StatementNodeBody;
StatementNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	StatementNodeProcs,
	data:	REF ANY];

StatementNodeProcs:	TYPE = REF StatementNodeProcsBody;
StatementNodeProcsBody:	TYPE = RECORD[

	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	Compile:	CompileProcType];


--OptStatement

OptStatementNode:	TYPE = REF OptStatementNodeBody;
OptStatementNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	OptStatementNodeProcs,
	data:	REF ANY];

OptStatementNodeProcs:	TYPE = REF OptStatementNodeProcsBody;
OptStatementNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--StatementList

StatementListNode:	TYPE = REF StatementListNodeBody;
StatementListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	StatementListNodeProcs,
	data:	REF ANY];

StatementListNodeProcs:	TYPE = REF StatementListNodeProcsBody;
StatementListNodeProcsBody:	TYPE = RECORD[

	HangContextsFromContextTree:	HangContextsFromContextTreeProcType, 
	Compile:	CompileProcType];


--DoTest

DoTestNode:	TYPE = REF DoTestNodeBody;
DoTestNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DoTestNodeProcs,
	data:	REF ANY];

DoTestNodeProcs:	TYPE = REF DoTestNodeProcsBody;
DoTestNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--DoExit

DoExitNode:	TYPE = REF DoExitNodeBody;
DoExitNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	DoExitNodeProcs,
	data:	REF ANY];

DoExitNodeProcs:	TYPE = REF DoExitNodeProcsBody;
DoExitNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--TransferOp

TransferOpNode:	TYPE = REF TransferOpNodeBody;
TransferOpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TransferOpNodeProcs,
	data:	REF ANY];

TransferOpNodeProcs:	TYPE = REF TransferOpNodeProcsBody;
TransferOpNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Catch

CatchNode:	TYPE = REF CatchNodeBody;
CatchNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CatchNodeProcs,
	data:	REF ANY];

CatchNodeProcs:	TYPE = REF CatchNodeProcsBody;
CatchNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--CatchCase

CatchCaseNode:	TYPE = REF CatchCaseNodeBody;
CatchCaseNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CatchCaseNodeProcs,
	data:	REF ANY];

CatchCaseNodeProcs:	TYPE = REF CatchCaseNodeProcsBody;
CatchCaseNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--CatchCaseList

CatchCaseListNode:	TYPE = REF CatchCaseListNodeBody;
CatchCaseListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	CatchCaseListNodeProcs,
	data:	REF ANY];

CatchCaseListNodeProcs:	TYPE = REF CatchCaseListNodeProcsBody;
CatchCaseListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--TypeOp

TypeOpNode:	TYPE = REF TypeOpNodeBody;
TypeOpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeOpNodeProcs,
	data:	REF ANY];

TypeOpNodeProcs:	TYPE = REF TypeOpNodeProcsBody;
TypeOpNodeProcsBody:	TYPE = RECORD[

	TypeOpIsCode:	TypeOpIsCodeProcType, 
	TypeOpIsFirst:	TypeOpIsFirstProcType, 
	TypeOpIsLast:	TypeOpIsLastProcType, 
	TypeOpIsNil:	TypeOpIsNilProcType];


--IdList

IdListNode:	TYPE = REF IdListNodeBody;
IdListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	IdListNodeProcs,
	data:	REF ANY];

IdListNodeProcs:	TYPE = REF IdListNodeProcsBody;
IdListNodeProcsBody:	TYPE = RECORD[

	AddNamesToUnionList:	AddNamesToUnionListProcType, 
	AddVariantNamesToEnumTypeTGN:	AddVariantNamesToEnumTypeTGNProcType, 
	AddIdsToRestrictionList:	AddIdsToRestrictionListProcType];


--Arguments

ArgumentsNode:	TYPE = REF ArgumentsNodeBody;
ArgumentsNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ArgumentsNodeProcs,
	data:	REF ANY];

ArgumentsNodeProcs:	TYPE = REF ArgumentsNodeProcsBody;
ArgumentsNodeProcsBody:	TYPE = RECORD[

	MakeArgumentLists:	MakeArgumentListsProcType];


--ParameterList

ParameterListNode:	TYPE = REF ParameterListNodeBody;
ParameterListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ParameterListNodeProcs,
	data:	REF ANY];

ParameterListNodeProcs:	TYPE = REF ParameterListNodeProcsBody;
ParameterListNodeProcsBody:	TYPE = RECORD[

	MakeFieldList:	MakeFieldListProcType];


--TypeExp

TypeExpNode:	TYPE = REF TypeExpNodeBody;
TypeExpNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	TypeExpNodeProcs,
	data:	REF ANY];

TypeExpNodeProcs:	TYPE = REF TypeExpNodeProcsBody;
TypeExpNodeProcsBody:	TYPE = RECORD[

	MakeType:	MakeTypeProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType, 
	CompileSizeOfTypeExpression:	CompileSizeOfTypeExpressionProcType, 
	CompileFirstOfTypeExpression:	CompileFirstOfTypeExpressionProcType, 
	CompileLastOfTypeExpression:	CompileLastOfTypeExpressionProcType, 
	EvaluateSizeOfTypeExpression:	EvaluateSizeOfTypeExpressionProcType, 
	EvaluateFirstOfTypeExpression:	EvaluateFirstOfTypeExpressionProcType, 
	EvaluateLastOfTypeExpression:	EvaluateLastOfTypeExpressionProcType];


--Num

NumNode:	TYPE = REF NumNodeBody;
NumNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	NumNodeProcs,
	data:	REF ANY];

NumNodeProcs:	TYPE = REF NumNodeProcsBody;
NumNodeProcsBody:	TYPE = RECORD[

	IntegerValueFromLiteral:	IntegerValueFromLiteralProcType];


--Qualifier

QualifierNode:	TYPE = REF QualifierNodeBody;
QualifierNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	QualifierNodeProcs,
	data:	REF ANY];

QualifierNodeProcs:	TYPE = REF QualifierNodeProcsBody;
QualifierNodeProcsBody:	TYPE = RECORD[

	CompileQualifiedExpression:	CompileQualifiedExpressionProcType];


--SignalList

SignalListNode:	TYPE = REF SignalListNodeBody;
SignalListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SignalListNodeProcs,
	data:	REF ANY];

SignalListNodeProcs:	TYPE = REF SignalListNodeProcsBody;
SignalListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--ExitList

ExitListNode:	TYPE = REF ExitListNodeBody;
ExitListNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	ExitListNodeProcs,
	data:	REF ANY];

ExitListNodeProcs:	TYPE = REF ExitListNodeProcsBody;
ExitListNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Junk

JunkNode:	TYPE = REF JunkNodeBody;
JunkNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	JunkNodeProcs,
	data:	REF ANY];

JunkNodeProcs:	TYPE = REF JunkNodeProcsBody;
JunkNodeProcsBody:	TYPE = RECORD[

	foo:	fooProcType];


--Subrange

SubrangeNode:	TYPE = REF SubrangeNodeBody;
SubrangeNodeBody:	TYPE = RECORD[
	position:	INT, length:	INT,
	procs:	SubrangeNodeProcs,
	data:	REF ANY];

SubrangeNodeProcs:	TYPE = REF SubrangeNodeProcsBody;
SubrangeNodeProcsBody:	TYPE = RECORD[

	MakeType:	MakeTypeProcType, 
	AddFirstDependencies:	AddFirstDependenciesProcType, 
	AddLastDependencies:	AddLastDependenciesProcType, 
	AddSizeDependencies:	AddSizeDependenciesProcType, 
	CompileSizeOfTypeExpression:	CompileSizeOfTypeExpressionProcType, 
	CompileFirstOfTypeExpression:	CompileFirstOfTypeExpressionProcType, 
	CompileLastOfTypeExpression:	CompileLastOfTypeExpressionProcType, 
	EvaluateSizeOfTypeExpression:	EvaluateSizeOfTypeExpressionProcType, 
	EvaluateFirstOfTypeExpression:	EvaluateFirstOfTypeExpressionProcType, 
	EvaluateLastOfTypeExpression:	EvaluateLastOfTypeExpressionProcType];

END..