<> <> <> <> <> <> <> SaffronGeneric: Module = Begin <> Decimalnum: GenericToken = "tokenDECIMAL"; Octalnum: GenericToken = "tokenOCTAL"; Hexnum: GenericToken = "tokenHEX"; Id: GenericToken = "tokenID"; String: GenericToken = "tokenROPE"; Flnum: GenericToken = "tokenREAL"; Char: GenericToken = "tokenCHAR"; Atom: GenericToken = "tokenATOM"; End; SaffronBase: Module = Begin BOOLEAN: CedarType; INT: CedarType; ATOM: CedarType; REAL: CedarType; CHARACTER: CedarType; ROPE: CedarType From Rope; STREAM: CedarType From IO; BigCARD: CedarType From BigCardinals; BigINT: CedarType From BigIntegers; <> Error: BaseFunction [ROPE] Returns [BOOLEAN]; NullId: BaseFunction [] Returns [Id]; True: BaseFunction [] Returns [BOOLEAN]; False: BaseFunction [] Returns [BOOLEAN]; And: BaseFunction [BOOLEAN.a, BOOLEAN.b] Returns [BOOLEAN.res]; Or: BaseFunction [BOOLEAN.a, BOOLEAN.b] Returns [BOOLEAN.res]; Not: BaseFunction [BOOLEAN.a] Returns [BOOLEAN.res]; Add: CedarFunction [BigINT.a, BigINT.b] Returns [BigINT.res] From BigIntegers; Sub: CedarFunction [BigINT.a, BigINT.b] Returns [BigINT.res] From BigIntegers; Mul: CedarFunction [BigINT.a, BigINT.b] Returns [BigINT.res] From BigIntegers; Div: CedarFunction [BigINT.a, BigINT.b] Returns [BigINT.res] From BigIntegers; Mod: CedarFunction [BigINT.a, BigINT.b] Returns [BigINT.res] From BigIntegers; Neg: CedarFunction [BigINT.a] Returns [BigINT.res] From BigIntegers; RopeFromId: BaseFunction [Id] Returns [ROPE]; RopeFromString: BaseFunction [String] Returns [ROPE]; RopeFromDecimalnum: BaseFunction [Decimalnum] Returns [ROPE]; RopeFromOctalnum: BaseFunction [Octalnum] Returns [ROPE]; RopeFromHexnum: BaseFunction [Hexnum] Returns [ROPE]; RopeFromFlnum: BaseFunction [Flnum] Returns [ROPE]; StringFromId: BaseFunction [Id] Returns [String]; IdFromRope: BaseFunction [ROPE] Returns [Id]; <> <> MakeUnparsedNullValue: BaseFunction [] Returns [Value]; <> ScopePTree: BaseType; ModulePPTree: BaseType; ReadDefFile: BaseFunction [ROPE] Returns [ModulePPTree]; DefBodyPTree: BaseType; TypeExpPTree: BaseType; BogusTypeExpPTree: BaseFunction [] Returns [TypeExpPTree]; InitializationPTree: BaseType; DeclarationPTree: BaseType; <> Environment: BaseType; FakeDamageEnvironment: BaseFunction [Environment.arg] Returns [Environment.res] DamagedReps [Environment.arg]; CreateEmptyEnvironment: BaseFunction [] Returns [Environment]; AddCompiledDefinitionsFileToEnvironment: BaseFunction [Environment.arg, ROPE.fileName, ContextTree] Returns [Environment.res] DamagedReps [Environment.arg]; AddCompiledImplementationFileToEnvironment: BaseFunction [Environment.arg, ROPE.fileName, ContextTree, ProgramGraph] Returns [Environment.res] DamagedReps [Environment.arg]; IsCompiledFileInEnv: BaseFunction [Environment, ROPE.fileName] Returns [BOOLEAN]; LookupCompiledFileInEnv: BaseFunction [Environment, ROPE.fileName] Returns [ContextTree]; LookupInterfaceInEnv: BaseFunction [Environment, ROPE.fileName, Id.interfaceName] Returns [TypeGraphNode]; <> <> <> <> <<>> <> <> <> <<>> <> <> <> <> InterfaceVal: BaseType; <> <> <> <<>> LookupInterfaceEntry: BaseFunction [TypeGraphNode.named, Id] Returns [AccessVal, TypeGraphNode]; <> <> <> <<>> CreateEmptyInterfaceTGN: BaseFunction [LocalContext.arg] Returns [LocalContext.res, TypeGraphNode] DamagedReps [ LocalContext.arg ]; CreateLinkTGN: BaseFunction [LocalContext.arg, TypeGraphNode.entry, InterfaceVal, Id] Returns [LocalContext.res, TypeGraphNode.link] DamagedReps [ LocalContext.arg ]; AddTGNToInterfaceTGN: BaseFunction [LocalContext.arg, TypeGraphNode.interface, Id, AccessVal, TypeGraphNode.entry] Returns [LocalContext.res] DamagedReps [ LocalContext.arg ]; CreateInterfaceTGNFromInterface: BaseFunction [LocalContext.arg, InterfaceVal] Returns [LocalContext.res, TypeGraphNode] DamagedReps [LocalContext.arg ]; <> <> <> <> <> RenameInterface: BaseFunction [LocalContext.arg, Id, TypeGraphNode.interface] Returns [ LocalContext.res ] DamagedReps[ LocalContext.arg ]; OpenInterface: BaseFunction [LocalContext.arg, TypeGraphNode.interface] Returns [ LocalContext.res ] DamagedReps[ LocalContext.arg ]; <> <> <<>> <> <<>> <> <<>> <> <<>> <> <> ContextRib: BaseType; SetUpRootContext: <> BaseFunction [CompilerState.arg] Returns [ContextRib, CompilerState.res] DamagedReps [CompilerState.arg]; <> LocalContext: BaseType; CreateEmptyContext: BaseFunction [ ContextRib, BOOLEAN.newFrame ] Returns [ LocalContext ]; FreezeLocalContext: <> BaseFunction [ LocalContext, TypeGraphNode.contents] Returns [ ContextRib ] DamagedReps [ LocalContext ]; FakeDamageContext: BaseFunction [ LocalContext.arg ] Returns [ LocalContext.res ] DamagedReps [ LocalContext.arg ]; ParentRib: BaseFunction [LocalContext] Returns [ContextRib]; <> ContextTree: BaseType; EmptyContextTree: BaseFunction [ ContextRib ] Returns [ ContextTree ]; AddSubContextTree: BaseFunction [ ContextTree.tree, ContextTree.subtree ] Returns [ContextTree] DamagedReps [ContextTree.tree]; FakeDamageContextTree: BaseFunction [ ContextTree.arg ] Returns [ ContextTree.res ] DamagedReps [ContextTree.arg]; Rib: BaseFunction [ContextTree] Returns [ContextRib]; <> TypeGraphNode: BaseType; TypeGraphNodeList: BaseType; AddIdToRestrictionList: BaseFunction [Id, TypeGraphNode.arg] Returns [TypeGraphNode.res] DamagedReps [TypeGraphNode.arg]; AddAllIdsToRestrictionList: BaseFunction [TypeGraphNode.arg] Returns [TypeGraphNode.res] DamagedReps [TypeGraphNode.arg]; FakeDamageTypeGraphNode: BaseFunction [TypeGraphNode.arg] Returns [TypeGraphNode.res] DamagedReps [TypeGraphNode.arg]; <> <> <> <<>> <> <> <> <<>> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <> <> CreateArrayTGN: BaseFunction [ LocalContext.arg, BOOLEAN.packed, TypeGraphNode.index, TypeGraphNode.item] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateBlockTGN: BaseFunction [LocalContext.arg, FrozenFieldList] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps [LocalContext.arg]; <> CreateDescriptorTGN: BaseFunction [ LocalContext.arg, BOOLEAN.readonly, TypeGraphNode.arg] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateSubrangeTGN: BaseFunction [ LocalContext.arg, TypeGraphNode.typeId, BoundsVal] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; CreateEmptyEnumTypeTGN: BaseFunction [ LocalContext.arg, BOOLEAN.machineDependent ] Returns [ LocalContext.res, TypeGraphNode ] DamagedReps[ LocalContext.arg ]; AppendElementToEnumTypeTGN: BaseFunction [ LocalContext.arg, TypeGraphNode, Id, Value ] Returns [ LocalContext.res ] DamagedReps[ LocalContext.arg ]; First: BaseFunction [TypeGraphNode] Returns [Value]; Last: BaseFunction [TypeGraphNode] Returns [Value]; <> CreateIdentifierTGN: BaseFunction [LocalContext.arg, Id] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps [LocalContext.arg]; <> CreateImplementationTGN: <> BaseFunction [LocalContext.arg, BOOLEAN.cedar, TypeGraphNode.transferType, ROPE.locks, ROPE.imports, ROPE.exports, ROPE.shares] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps [LocalContext.arg]; <> CreateInterfaceTGN: <> BaseFunction [LocalContext.arg, BOOLEAN.cedar, ROPE.locks, ROPE.imports, ROPE.shares] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps [LocalContext.arg]; <> CreateInterfaceContentsTGN: BaseFunction [LocalContext.arg, FrozenFieldList.contents] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps [LocalContext.arg]; <> CreateListTGN: BaseFunction [ LocalContext.arg, BOOLEAN.readonly, TypeGraphNode.arg ] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateLongTGN: BaseFunction [ LocalContext.arg, TypeGraphNode.arg] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateModuleTGN: BaseFunction [LocalContext.arg, FrozenFieldList.contents] Returns [LocalContext.res, TypeGraphNode] DamagedReps [LocalContext.arg]; <> <> <> <> <> CreateNamedTGN: BaseFunction [LocalContext.arg, Id, PositionVal, AccessVal, TypeGraphNode.arg, DefaultExp] Returns [LocalContext.res, TypeGraphNode.res] DamagedReps[ LocalContext.arg ]; <> CreateOpaqueTGN: BaseFunction [LocalContext.arg, Paint, Value] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreatePointerTGN: BaseFunction [ LocalContext.arg, BOOLEAN.ordered, BOOLEAN.base, BoundsVal, BOOLEAN.readonly, TypeGraphNode.arg ] Returns [ LocalContext.res, TypeGraphNode.res] DamagedReps[ LocalContext.arg ]; <> CreateRecordTGN: BaseFunction [ LocalContext.arg, Paint, BOOLEAN.machineDependent, BOOLEAN.monitored, FrozenFieldList ] Returns [ LocalContext.res, TypeGraphNode ] DamagedReps[ LocalContext.arg ]; <> CreateRefTGN: BaseFunction [ LocalContext.arg, BOOLEAN.machineDependent, TypeGraphNode.referent ] Returns [ LocalContext.res, TypeGraphNode.ref ] DamagedReps[ LocalContext.arg ]; <> CreateRelativeTGN: BaseFunction [ LocalContext.arg, TypeGraphNode.base, TypeGraphNode.arg] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateSequenceTGN: BaseFunction [ LocalContext.arg, BOOLEAN, Id, PositionVal, AccessVal, TypeGraphNode.tag, TypeGraphNode.component] Returns [ LocalContext.res, TypeGraphNode.sequence ] DamagedReps[ LocalContext.arg ]; <> CreateSpecianatedTGNUsingExp: BaseFunction [ LocalContext.arg, TypeGraphNode.underlyingType, Value] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; CreateSpecianatedTGNUsingId: BaseFunction [ LocalContext.arg, TypeGraphNode.underlyingType, Id] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateTransferTGN: BaseFunction [ LocalContext.arg, BOOLEAN.safe, ROPE.transferMode, FrozenFieldList.input, FrozenFieldList.output] Returns [ LocalContext.res, TypeGraphNode ] DamagedReps[ LocalContext.arg ]; <> CreateVarTGN: BaseFunction [ LocalContext.arg, TypeGraphNode.arg ] Returns [ LocalContext.res, TypeGraphNode.res ] DamagedReps[ LocalContext.arg ]; <> CreateVariantPartTGN: BaseFunction [LocalContext.arg, VariantFlavor, TypeGraphNode.tag, UnionList] Returns [ LocalContext.res, TypeGraphNode.var ] DamagedReps[ LocalContext.arg, UnionList ]; <> CreateZoneTGN: BaseFunction [ LocalContext.arg, BOOLEAN.uncounted] Returns [ LocalContext.res, TypeGraphNode ] DamagedReps[ LocalContext.arg ]; FindFrameTGN: BaseFunction [ LocalContext, Id] Returns [ TypeGraphNode ]; <> Value: BaseType; Static: BaseFunction [Value] Returns [BOOLEAN]; Type: BaseFunction [Value] Returns [TypeGraphNode] SharedReps [Value, TypeGraphNode]; Code: BaseFunction [Value] Returns [ProgramFragment] SharedReps [Value, ProgramFragment]; IsTrash: BaseFunction [Value] Returns [BOOLEAN]; ChangeType: BaseFunction [Value.arg, TypeGraphNode] Returns [Value.res] DamagedReps [Value.arg]; RopeFromValue: BaseFunction [Value] Returns [ROPE]; MakeDummy: BaseFunction [ROPE] Returns [Value]; MakeTrash: BaseFunction [TypeGraphNode] Returns [Value]; MakeDefaultMeValue: BaseFunction [] Returns [Value]; MakeRuntimeValue: BaseFunction [ProgramFragment, TypeGraphNode] Returns [Value]; DummyBigINT: BaseFunction [] Returns [BigINT]; ParseIntegerLiteral: BaseFunction [ROPE, INT.radix] Returns [BigINT]; CastIntegerValue: BaseFunction [BigINT, TypeGraphNodeList] Returns [Value]; CanCastIntegerValue: BaseFunction [BigINT, TypeGraphNode] Returns [BOOLEAN]; RetrieveIntegerValue: BaseFunction [Value] Returns [BigINT]; MakeStaticBoolean: BaseFunction [BOOLEAN, TypeGraphNode] Returns [Value]; BooleanValue: BaseFunction [Value] Returns [BOOLEAN]; MakeStaticCharacter: BaseFunction [CHARACTER, TypeGraphNode] Returns [Value]; CharacterValue: BaseFunction [Value] Returns [CHARACTER]; Pred: BaseFunction [Value.arg] Returns [Value.res]; Succ: BaseFunction [Value.arg] Returns [Value.res]; MakeTransferValue: BaseFunction [TypeGraphNode.transferType, ProcedureGraph] Returns [Value]; <> Field: BaseType; FieldList: BaseType; FrozenFieldList: BaseType; <> CreateEmptyFieldList: BaseFunction [ ] Returns [ FieldList ]; FakeDamageFieldList: BaseFunction [FieldList.arg] Returns [FieldList.res] DamagedReps [FieldList.arg]; AnyFieldList: BaseFunction [ ] Returns [ FieldList ]; AppendFieldToFieldList: BaseFunction [FieldList.arg, Field ] Returns [ FieldList.res ] DamagedReps[ FieldList.arg ]; FreezeFieldList: BaseFunction [FieldList] Returns [FrozenFieldList]; <> FakeDamageField: BaseFunction [Field.arg] Returns [Field.res] DamagedReps [Field.arg]; CreateNamedTypeField: BaseFunction [Id, PositionVal, AccessVal, TypeGraphNode, TypeExpPTree] Returns [Field]; CreateModuleField: BaseFunction [Id, PositionVal, TypeGraphNode] Returns [Field]; CreateConstantField: BaseFunction [Id, PositionVal, DeclarationPTree, AccessVal, TypeGraphNode, InitializationPTree] Returns [Field]; CreateVariableField: BaseFunction [Id, PositionVal, DeclarationPTree, AccessVal, TypeGraphNode, InitializationPTree] Returns [Field]; <> CreateNamedField: BaseFunction [ Id, PositionVal, AccessVal, TypeGraphNode, DefaultExp ] Returns [ Field ]; CreateUnnamedField: BaseFunction [ TypeGraphNode, DefaultExp ] Returns [ Field ]; <> DemandTypeDeclarationField: <> BaseFunction [Field] Returns [AccessVal, TypeGraphNode]; DemandConstantField: <> BaseFunction [Field] Returns [AccessVal, TypeGraphNode, InitializationPTree, Value]; DemandConstantOrVariableField: <> BaseFunction [Field] Returns [AccessVal, TypeGraphNode, InitializationPTree, BOOLEAN.isItAConstantField]; FieldExists: <> BaseFunction [Field] Returns [BOOLEAN]; FieldType: <> BaseFunction [Field] Returns [TypeGraphNode]; <> LookupNameInFieldList: <> BaseFunction [FieldList, Id] Returns [Field]; LookupNameInContextRib: <> BaseFunction [Id, ContextRib] Returns [Field]; <> <> UnionList: BaseType; CreateEmptyUnionList: BaseFunction [ ] Returns [ UnionList ]; AppendToUnionList: BaseFunction [UnionList.arg, Id, FrozenFieldList ] Returns [ UnionList.res ] DamagedReps[ UnionList.arg ]; VariantFlavor: BaseType; OverlaidVariantFlavorConst: BaseFunction [ ] Returns [ VariantFlavor ]; ComputedVariantFlavorConst: BaseFunction [ ] Returns [ VariantFlavor ]; VanillaVariantFlavorVal: BaseFunction [Id, PositionVal, AccessVal] Returns [ VariantFlavor ]; <> Paint: BaseType; GetUnpaintedPaint: BaseFunction [ LocalContext.arg ] Returns [ LocalContext.res, Paint ] DamagedReps[ LocalContext.arg ]; GetUniquePaint: BaseFunction [ LocalContext.arg ] Returns [ LocalContext.res, Paint ] DamagedReps[ LocalContext.arg ]; <<(doesn't really damage LocalContext.arg, but makes for easier writing of some function bodies, e.g., MakeType)>> <> BoundsVal: BaseType; NullBounds: BaseFunction [ ] Returns [ BoundsVal ]; BoundsValFun: BaseFunction [ ROPE.leftparen, Value.lower, Value.upper, ROPE.rightparen] Returns [ BoundsVal ]; <> <> PositionVal: BaseType; NullPosition: BaseFunction [ ] Returns [ PositionVal ]; PositionValFun: BaseFunction [ Value, BoundsVal] Returns [ PositionVal ]; <> AccessVal: BaseType; AccessValConst: BaseFunction [ ROPE ] Returns [ AccessVal ]; NullAccessVal: BaseFunction [] Returns [ AccessVal ]; FakeCopyAccessVal: BaseFunction [AccessVal.arg] Returns [AccessVal.res]; <> DefaultExp: BaseType; DefaultExpVal: BaseFunction [ROPE.case, Value] Returns [DefaultExp]; <> <> <> <> <> NullDefaultVal: BaseFunction [] Returns [DefaultExp]; <> NameSequence: BaseType; EmptyNameSequence: BaseFunction [] Returns [NameSequence]; InsertNameOnNameSequence: BaseFunction [Id, NameSequence.arg] Returns [NameSequence.res] DamagedReps [NameSequence.arg]; <> <> <> <> <<>> <> CompilerState: BaseType; FakeDamageCompilerState: BaseFunction [CompilerState.arg] Returns [CompilerState.res] DamagedReps [CompilerState.arg]; MakeCompilerState: BaseFunction [TargetArchitecture, ROPE.options] Returns [CompilerState]; GetTargetArchitecture: BaseFunction [CompilerState] Returns [TargetArchitecture]; GetRootContextRib: BaseFunction [CompilerState] Returns [ContextRib]; GetIntrinsicAtomType: BaseFunction [CompilerState] Returns [TypeGraphNode]; GetIntrinsicBooleanType: BaseFunction [CompilerState] Returns [TypeGraphNode]; GetIntrinsicCharacterType: BaseFunction [CompilerState] Returns [TypeGraphNode]; GetIntrinsicIntegerTypes: BaseFunction [CompilerState] Returns [TypeGraphNodeList]; GetIntrinsicRealTypes: BaseFunction [CompilerState] Returns [TypeGraphNodeList]; GetTop: BaseFunction [CompilerState] Returns [TypeGraphNode]; GetBottom: BaseFunction [CompilerState] Returns [TypeGraphNode]; GetDefaultAccess: BaseFunction [CompilerState] Returns [AccessVal]; <> <> <> <> <> <<>> <> ProgramGraph: BaseType; ProcedureGraph: BaseType; ProgramFragment: BaseType; ParameterizedFieldDescriptor: BaseType; <> <> RelationOp: EnumeratedBaseType = {eq, ne, lt, le, gt, ge}; <> <> TargetArchitecture: CedarType From SaffronTargetArchitecture; <> DemandNumber: <> BaseFunction [Value.arg] Returns [Value.res] SharedReps [Value.arg, Value.res]; ConformsToInteger: BaseFunction [TypeGraphNode] Returns [BOOLEAN]; DemandBoolean: <> BaseFunction [Value.arg] Returns [Value.res] SharedReps [Value.arg, Value.res]; <<>> <> NumberOfBits: BaseFunction [TypeGraphNode, Value.nRepetitions, CompilerState] Returns [Value.res]; NumberOfBytes: BaseFunction [TypeGraphNode, Value.nRepetitions, CompilerState] Returns [Value.res]; NumberOfWords: BaseFunction [TypeGraphNode, Value.nRepetitions, CompilerState] Returns [Value.res]; <> DependencyGraph: BaseType; DependencyGraphNode: BaseType; FakeDamageDependencyGraph: BaseFunction [DependencyGraph.arg] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; AddSizeDependency: BaseFunction [DependencyGraph.arg, DependencyGraphNode, Id] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; AddFirstDependency: BaseFunction [DependencyGraph.arg, DependencyGraphNode, Id] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; AddLastDependency: BaseFunction [DependencyGraph.arg, DependencyGraphNode, Id] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; AddRuntimeDependency: BaseFunction [DependencyGraph.arg, DependencyGraphNode] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; AddValueDependency: BaseFunction [DependencyGraph.arg, DependencyGraphNode, Id] Returns [DependencyGraph.res] DamagedReps [DependencyGraph.arg]; <> <> <> <> <<>> <> <> <> <<>> <> <> <> <<>> CompileLValueIntoRValue: BaseFunction [ParameterizedFieldDescriptor, ContextTree] Returns [Value]; GetPathToName: BaseFunction [ContextTree, Id] Returns [ParameterizedFieldDescriptor, TypeGraphNode]; <> LookupIdentifierTGNs: BaseFunction [FieldList.arg, LocalContext] Returns [FieldList.res] DamagedReps [FieldList.arg]; DiscernSpecianatedTGNs: BaseFunction [FieldList.arg, LocalContext] Returns [FieldList.res] DamagedReps [FieldList.arg]; BuildDependencyGraph: BaseFunction [FieldList, LocalContext] Returns [DependencyGraph]; AnalyzeDependencies: BaseFunction [DependencyGraph, FieldList.arg, LocalContext.arg, CompilerState] Returns [FieldList.res, LocalContext.res] DamagedReps [FieldList.arg, LocalContext.arg]; SetLocalContextContents: BaseFunction [LocalContext.arg, TypeGraphNode] Returns [LocalContext.res] DamagedReps [LocalContext.arg]; <> <> <> <> <<>> FindAFieldCorrespondingToDeclaration: BaseFunction [ContextTree, DeclarationPTree] Returns [Field]; CompileDefaultInitialization: BaseFunction [TypeGraphNode] Returns [Value]; End.