blob: 7766da69fdcdd44c3514b4f4cbee4538691eb716 [file] [log] [blame]
(: Name: quantExpr-7 :)
(: Description: Simple quantified expression using "some" keyword and a division (idiv) expression. :)
some $x in (1, 2) satisfies $x idiv 2 = 1