complexType "TheoremLike"
Namespace:
Content:
complex, 5 attributes, 24 elements
Defined:
globally in pretext.xsd; see XML source
Includes:
definition of 1 element
Used:
XML Representation Summary
<...
   
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
 = 
xs:anySimpleType
   
>
   
Content: 
</...>
Content Model Elements (24):
image (defined in ImageCode group),
image (defined in ImageRaster group),
p (defined in Paragraph group),
sbsgroup (defined in SideBySideGroup group),
sidebyside (defined in SideBySide group),
statement (defined in Statement group),
title (defined in Title group),
All Direct / Indirect Based Elements (8):
Known Usage Locations
Type Definition Detail
Type Derivation Tree
  TheoremLike
XML Source (see within schema source)
<xs:complexType name="TheoremLike">
<xs:complexContent>
<xs:extension base="MetaDataTitleCreatorOptional">
<xs:choice>
<xs:group maxOccurs="unbounded" ref="BlockStatement"/>
<xs:sequence>
<xs:group ref="Statement"/>
<xs:element maxOccurs="unbounded" minOccurs="0" ref="proof"/>
</xs:sequence>
</xs:choice>
</xs:extension>
</xs:complexContent>
</xs:complexType>
Content Element Detail (all declarations; defined within this component only; 1/24)
proof
Type:
anonymous complexType, complex content
XML Source (see within schema source)
<xs:element maxOccurs="unbounded" minOccurs="0" ref="proof"/>

XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set