Sign in
eclipse
/
sourceediting
/
webtools.sourceediting.xpath.tests
/
59e1b2bb09bf041229370edf54afbaf3d2cb743e
/
.
/
tests
/
org.w3c.xqts.testsuite
/
Queries
/
XQuery
/
Expressions
/
PrologExpr
/
VariableProlog
/
ExternalVariablesWith
/
extvardeclwithtypetobind-14.xq
blob: e6593e9d5bac49410672e9768da18d268d776749 [
file
] [
log
] [
blame
]
(: Name: extvardeclwithtypetobind-14 :)
(: Description: Binding an integer division operation (div operator) for extvardeclwithtype-14.:)
let
$var
:= 40 div 2
return
xs:integer
(
$var
)