(: Name: extvardeclwithtype-11 :)
(: Description: Evaluates an external variable that multiply two integers:)
(: Both queries perform the operation. :)

declare variable $x as xs:integer external;

$x * $x