Documentation
Lean
.
Data
.
Xml
.
Basic
Search
Google site search
Lean
.
Data
.
Xml
.
Basic
source
Imports
Init
Lean.Data.RBMap
Imported by
Lean
.
Xml
.
Attributes
Lean
.
Xml
.
instToStringAttributes
Lean
.
Xml
.
Element
Lean
.
Xml
.
Content
Lean
.
Xml
.
instInhabitedContent
Lean
.
Xml
.
instToStringElement
Lean
.
Xml
.
instToStringContent
source
def
Lean
.
Xml
.
Attributes
:
Type
Instances For
source
instance
Lean
.
Xml
.
instToStringAttributes
:
ToString
Lean.Xml.Attributes
source
inductive
Lean
.
Xml
.
Element
:
Type
Element:
String
→
Lean.Xml.Attributes
→
Array
Lean.Xml.Content
→
Lean.Xml.Element
Instances For
source
inductive
Lean
.
Xml
.
Content
:
Type
Element:
Lean.Xml.Element
→
Lean.Xml.Content
Comment:
String
→
Lean.Xml.Content
Character:
String
→
Lean.Xml.Content
Instances For
source
instance
Lean
.
Xml
.
instInhabitedContent
:
Inhabited
Lean.Xml.Content
source
instance
Lean
.
Xml
.
instToStringElement
:
ToString
Lean.Xml.Element
source
instance
Lean
.
Xml
.
instToStringContent
:
ToString
Lean.Xml.Content