The new decoration command prompts for a decoration (sequence of strokes) and decorates the expression of the selected inclusion declaration. Cadiz ensures that all references to the included declarations are renamed. This is a similar effect to that of the new name command, but all the components of the included schema are renamed consistently using the same new strokes. If the selected inclusion is already a decoration expression, that decoration is stripped off first and offered as the default response.
The only declarations whose names can safely be changed are those of quantified predicates, set comprehension, definite description and let expressions. Declarations of schema components may not be changed, because of the risk of changing the meaning of some schema calculus operations. Declarations that are global to a specification may not be changed, because that would change the meaning of the specification.
"new decoration" d "strokes"
This example applies the new decoration command to the declaration d giving it the strokes.