Closed dsntk closed 9 months ago
<xsd:element name="every" type="tQuantified" substitutionGroup="expression"/> <xsd:complexType name="tQuantified"> <xsd:complexContent> <xsd:extension base="tIterator"> <xsd:sequence> <xsd:element name="satisfies" type="tChildExpression"/> </xsd:sequence> </xsd:extension> </xsd:complexContent> </xsd:complexType>
Implemented in 0.0.4