As Mike Kay rightfully pointed, we have an already developed spec for
modules in XQuery:
http://www.w3.org/TR/xquery/#id-query-prolog
and it would be wise to stick to it thus reusing the thought and
experience of the WG and also assuring that implementing
exslt:include-compiled-module will not require any
significant effort from
vendours, who also implement XQuery.
On the whole I agree with that. But I'm not sure about the association of
modules with namespace URIs for the functions being exported. One might want
to do that differently in an XSLT context.
Michael Kay
http://www.saxonica.com/