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

["Martin Honnen martin.honnen@xxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

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?