local:* functions in library modules

[Florent Georges]

  Hi,

  If I understand correctly the definition of module declaration
<http://www.w3.org/TR/xquery/#dt-module-declaration>, in particular
the error err:XQST0048, we are not allowed to define a local:*
function in a library module.

  Please tell me I am wrong!  I can't find something telling the
opposite in the REC, but I can't believe this is the intent.

  Regards,

-- 
Florent Georges
http://www.fgeorges.org/