blob: 3904d2a1cb6bd90ade22b28b2687442fa8dc0847 [file] [log] [blame]
(: Name: extvardeclwithouttypetobind-14 :)
(: Description: Binding a division operation (div operator) for extvardeclwithouttype-14.:)
let $var := 40 div 2
return $var