blob: b08ed6ad1d95f7cca41dc5e08ecfdc57cf47e110 [file] [log] [blame]
(: Name: extvardeclwithouttypetobind-13 :)
(: Description: Binding a division operation (idiv operator) for extvardeclwithouttype-13.:)
let $var := 20 idiv 2
return $var