[xsl] '"as" SequenceType' vs 'TypeDeclaration' in XPath 3.0?

["Tony Graham" <tgraham@xxxxxxxxxx>]

In XPath 3.0 [1], what tips the balance between the occurrence of '"as"
SequenceType' in production [64] versus the occurrence of
'TypeDeclaration' in production [3], where 'TypeDeclaration' is defined as
'"as" SequenceType' in production [66]?

[64] InlineFunctionExpr ::= "function" "(" ParamList? ")" ("as"
SequenceType)? FunctionBody
[2] ParamList ::= Param ("," Param)*
[3] Param ::= "$" EQName TypeDeclaration?
[66] TypeDeclaration ::= "as" SequenceType


Regards,


Tony Graham                                   tgraham@xxxxxxxxxx
Consultant                                 http://www.mentea.net
Mentea       13 Kelly's Bay Beach, Skerries, Co. Dublin, Ireland
 --  --  --  --  --  --  --  --  --  --  --  --  --  --  --  --
    XML, XSL-FO and XSLT consulting, training and programming
       Chair, Print and Page Layout Community Group @ W3C

[1] http://www.w3.org/TR/xpath-30/
[3] http://www.w3.org/TR/xpath-30/#prod-xpath30-Param
[64] http://www.w3.org/TR/xpath-30/#prod-xpath30-InlineFunctionExpr
[66] http://www.w3.org/TR/xpath-30/#prod-xpath30-TypeDeclaration