blob: c3820add93d38346cd957a7efd84a08946a74fdb [file] [log] [blame]
(: Name: quantExpr-47 :)
(: Description: Simple quantified expression using "every" keyword and and use of string data. :)
every $x in ("A","B","C") satisfies $x = "A"