The permutation command exchanges two distinct declarations within the same schema text.
...; d1; ...; d2; ... | ![]() | ...; d2; ...; d1; ... |
One declaration should be selected and crossed, then the other should be selected and inspected. This is permitted in any schema text except that of a lambda expression.
The permutation command also exchanges two distinct expressions within the same set extension expression.
{..., e1, ..., e2, ...} | ![]() | {..., e2, ..., e1, ...} |
"permutation" d1 d2
This example applies the permutation command to declarations d1 and d2.
"permutation" e1 e2
This example applies the permutation command to expressions e1 and e2.