[Python-Dev] Semantics of decorators?

[Edward C. Jones]

In the development docs, Python Reference Manual, 7.5, it says:

A function definition may be wrapped by one or more decorator expressions.
Decorator expressions are evaluated when the function is defined, in the
scope that contains the function definition. The result must be a callable,
which is invoked with the function object as the only argument. The returned
value is bound to the function name instead of the function object. If there
are multiple decorators, they are applied in reverse order.

Does this completely describe the semantics of decorators?