<> <> <> <> <> <> 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. <>