source
|
<xsd:element name="lambda.class"
abstract="true">
<xsd:complexType>
<xsd:sequence>
<xsd:group ref="m:BvarQ">
</xsd:group> <xsd:group ref="m:DomainQ">
</xsd:group> <xsd:group ref="m:ContExp">
</xsd:group>
</xsd:sequence> <xsd:attributeGroup ref="m:CommonAtt">
</xsd:attributeGroup>
<xsd:attributeGroup ref="m:DefEncAtt">
</xsd:attributeGroup>
</xsd:complexType>
</xsd:element>
|