<> <> <> <> <> Include [ MyBaseDecls ]; SaffronTreeDecls: Module = Begin DoTop: TreeRecursiveFunction [ Tree ] Returns [ BOOLEAN ]; MakeType: TreeRecursiveFunction [ Tree, PaintRecords, LocalContext.a ] Returns [ LocalContext.b, TypeGraphNode ] DamagedReps [ LocalContext.a ]; MakeFieldList: TreeRecursiveFunction [ Tree, PaintRecords, LocalContext.a ] Returns [ LocalContext.b, FieldList ] DamagedReps [ LocalContext.a ]; AddToFieldList: TreeRecursiveFunction [ Tree, FieldList.a, PaintRecords, LocalContext.a ] Returns [ LocalContext.b, FieldList.b ] DamagedReps [ LocalContext.a, FieldList.a ]; AddPairsToFieldList: TreeRecursiveFunction [ Tree, FieldList.a, 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.a ] Returns [ LocalContext.b, TypeGraphNode ] DamagedReps [ LocalContext.a ]; ElementName: TreeRecursiveFunction [ Tree ] Returns [ Id ] DamagedReps [ ]; End. <>