xquery version "1.1";
(: Higher Order Functions :)
(: instance-of tests on user-defined function, varying the argument types - all false :)
(: Author - Michael Kay, Saxonica :)

declare function local:f($x as xs:long?, $y as xs:NCName?) as element(e) {
  <e x="{$x}" y="{$y}"/>
};

local:f#2 instance of function(xs:int?, xs:NCName?) as element(e),
local:f#2 instance of function(xs:long?) as element(e),
local:f#2 instance of function(xs:long?, xs:NCName?, item()*) as element(e),
local:f#2 instance of function(xs:long, xs:anyAtomicType?) as element(e),
local:f#2 instance of function(item()+, item()+) as element(e)

