[xsl] question about function type example in XPath 3.0 spec

The XPath 3.0 specification 
http://www.w3.org/TR/xpath-30/#id-function-test gives the example
function(int, int) as int matches any function with the function 
signature function(int, int) as int.

What is "int" in there, just a hypotetical unqualified type name for the 
purpose of the example? Or should it be "xs:int" to reference the W3C 
XML schema type?
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--