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