2
(: Higher Order Functions :)
3
(: instance-of tests on user-defined function, varying the result types :)
4
(: Author - Michael Kay, Saxonica :)
6
declare function local:f($x as xs:long, $y as xs:NCName) as element(e)? {
10
local:f#2 instance of function(xs:long, xs:NCName) as element(),
11
local:f#2 instance of function(xs:long, xs:NCName) as element()+,
12
local:f#2 instance of function(xs:long, xs:NCName) as element()?,
13
local:f#2 instance of function(xs:long, xs:NCName) as element()*,
14
local:f#2 instance of function(xs:long, xs:NCName) as element(e)*,
15
local:f#2 instance of function(xs:long, xs:NCName) as element(e, xs:anyType)*,
16
local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:anyType)?,
17
local:f#2 instance of function(xs:long, xs:NCName) as element(*, xs:untyped)?