`QuantifiedExpr`

QuantifiedExpr ::= ("some" | "every") "$" VarName TypeDeclaration "in" ExprSingle ("," "$" VarName TypeDeclaration "in" ExprSingle) "satisfies" ExprSingle

Appears in productions:

ExprSingle

Appears in specifications:

XML Path Language (XPath) 3.1

3 Expressions
- 3.13 Quantified Expressions
1 XPath 3.1 Grammar
- 1.1 EBNF

XQuery 3.1: An XML Query Language

3 Expressions
- 3.16 Quantified Expressions
1 XQuery 3.1 Grammar
- 1.1 EBNF