Copy objects in scala but changing "children" for rewriting
In kiama a generic "dup" method is defined which copies Product objects and applies a given function to each of the elements of the Product in order to support rewriting of Terms: /** * General product duplication function. Returns a product that applies * the same constructor as the product t, but with the given children ...