[xsl] Seemingly incorrect example of function subtyping in XDM 3.0

[Dimitre Novatchev <dnovatchev@xxxxxxxxx>]

In the W3C XDM 3.0 Proposed recommendation at the end of section:
 "2.8.1 Functions"  (http://www.w3.org/TR/xpath-datamodel-30/#function-items)

the last example says:

    "function(item()) as item() is a subtype of function(xs:string) as item()"

I believe that the correct statement is:


    "function(xs:string) as item()     is a subtype of
function(item()) as item() "

Could someone, please, confirm whether the example in the XDM 3.0 Spec
is correct, and if yes, then what is the chain of rules that leads to
this statement?


-- 
Cheers,
Dimitre Novatchev
---------------------------------------
Truly great madness cannot be achieved without significant intelligence.
---------------------------------------
To invent, you need a good imagination and a pile of junk
-------------------------------------
Never fight an inanimate object
-------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all
------------------------------------
Quality means doing it right when no one is looking.
-------------------------------------
You've achieved success in your field when you don't know whether what
you're doing is work or play
-------------------------------------
To achieve the impossible dream, try going to sleep.
-------------------------------------
Facts do not cease to exist because they are ignored.
-------------------------------------
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
-------------------------------------
I finally figured out the only reason to be alive is to enjoy it.