This operator is used together with rewrites to transform a function after it is defined and before it is assigned to a name.
rewrites
Useful links