Sign in
android
/
platform
/
tools
/
idea
/
9b5d02ac8c92b1e71523cc15cb3d168d57fbd898
/
.
/
plugins
/
xpath
/
xpath-lang
/
testData
/
xpath2
/
highlighting
/
types
/
numericIDivDuration.xpath2
blob: cf68eae227837b8011fe520b83a4526ad96d8c14 [
file
] [
log
] [
blame
]
4
idiv
<
error descr
=
"Expected type 'xs:numeric', got 'xs:dayTimeDuration'"
>
'P0DTOH'
cast
as
xs
:
dayTimeDuration
</
error
>
