Include [ SaffronBaseDecls ]; SaffronTreeDecls: Module = Begin DoTop: TreeRecursiveFunction [ Tree ] Returns [ LocalContext, TypeGraphNode ]; MakeType: TreeRecursiveFunction [ Tree, BOOLEAN.PaintRecords, LocalContext.a ] Returns [ LocalContext.b, TypeGraphNode ] DamagedReps [ LocalContext.a ]; MakeFieldList: TreeRecursiveFunction [ Tree, BOOLEAN.PaintRecords, LocalContext.a ] Returns [ LocalContext.b, FieldList ] DamagedReps [ LocalContext.a ]; AddToFieldList: TreeRecursiveFunction [ Tree, FieldList.a, BOOLEAN.PaintRecords, LocalContext.a ] Returns [ LocalContext.b, FieldList.b ] DamagedReps [ LocalContext.a, FieldList.a ]; AddPairsToFieldList: TreeRecursiveFunction [ Tree, FieldList.a, BOOLEAN.PaintRecords, LocalContext.a ] Returns [ LocalContext.b, FieldList.b ] DamagedReps [ LocalContext.a, FieldList.a ]; AddNamesToFieldList: TreeRecursiveFunction [ Tree, TypeGraphNode, FieldList.a ] Returns [ FieldList.b ] DamagedReps [ FieldList.a ]; MakeElementList: TreeRecursiveFunction [ Tree, LocalContext.arg ] Returns [ LocalContext.res, TypeGraphNode ] DamagedReps [ LocalContext.arg ]; ElementName: TreeRecursiveFunction [ Tree ] Returns [ Id ]; End. SaffronTreeDecls.ThreeC4 Copyright Σ 1987 by Xerox Corporation. All rights reserved. Shoup, August 8, 1986 5:34:38 pm PDT Bill Jackson (bj) April 27, 1987 3:51:50 pm PDT Lucy Hederman July 17, 1987 5:12:07 pm PDT Sturgis, July 21, 1987 3:23:25 pm PDT eof... Κ³– "cedar" style˜codešœ™K™;Kšœ$™$K™/K™*K™%—K˜K˜K˜šΟnœ˜ K˜šΟbœ˜KšΠizœ ˜KšŸœ!˜(—K˜šžœ˜ KšŸœ Οkœ˜DKšŸœ"˜)KšŸ œ˜K˜—šž œ˜KšŸœ  œ˜DKšŸœ˜%KšŸ œ˜—K˜šžœ˜šŸœ œ˜QKšŸœ ˜'KšŸ œ!˜,——K˜šžœ˜šŸœ œ˜QKšŸœ ˜'KšŸ œ!˜,——K˜šžœ˜šŸœ%˜:KšŸœ˜KšŸ œ˜——K˜šžœ˜šŸœ˜0KšŸœ$˜+KšŸ œ˜!——K˜šž œ˜ šŸœ ˜KšŸœ˜——K˜K˜K˜—K˜K™—…—˜S