blob: e4df80a7e830a03dff293b07ab33f4e9979c9576 [file] [log] [blame]
(: Name: extvardeclwithtype-13 :)
(: Description: Evaluates an external variable that divides two integers:)
(: Both queries perform the operation. :)
declare variable $x as xs:integer external;
$x idiv xs:integer(2)