quantifiedExpr

Complex Type Information

Model

quantifier , quantifiedExprInClause+ , predicateExpr
Children: predicateExpr, quantifiedExprInClause, quantifier

Used By

Element quantifiedExpr

Source 

<xsd:complexType name="quantifiedExpr">
  <xsd:complexContent>
    <xsd:extension base="expr">
      <xsd:sequence>
        <xsd:element name="quantifier" type="quantifier"/>
        <xsd:element ref="quantifiedExprInClause" maxOccurs="unbounded"/>
        <xsd:element name="predicateExpr" type="exprWrapper"/>
      </xsd:sequence>
    </xsd:extension>
  </xsd:complexContent>
</xsd:complexType>