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