blob: d37d9194781e0c232051dd93e4612c39018191f3 [file] [log] [blame]
(: Name: extvardeclwithtypetobind-13 :)
(: Description: Binding an integer division operation (idiv operator) for extvardeclwithtype-13.:)
let $var := 20 idiv 2
return $var