def Lean.Xml.Attributes : Type

Equations

• Lean.Xml.Attributes = Std.TreeMap String String compare

instance Lean.Xml.instToStringAttributes : ToString Attributes

Equations

• One or more equations did not get rendered due to their size.

inductive Lean.Xml.Element : Type

• Element (name : String) (attributes : Attributes) (content : Array Content) : Xml.Element

inductive Lean.Xml.Content : Type

• Element (element : Xml.Element) : Content
• Comment (comment : String) : Content
• Character (content : String) : Content

def Lean.Xml.instInhabitedContent.default_1 : Content

Equations

• Lean.Xml.instInhabitedContent.default_1 = Lean.Xml.Content.Comment default

instance Lean.Xml.instInhabitedContent : Inhabited Content

Equations

• Lean.Xml.instInhabitedContent = { default := Lean.Xml.instInhabitedContent.default_1 }

instance Lean.Xml.instToStringElement : ToString Element

Equations

• Lean.Xml.instToStringElement = { toString := Lean.Xml.instToStringElement._private_1 }

instance Lean.Xml.instToStringContent : ToString Content

Equations

• Lean.Xml.instToStringContent = { toString := Lean.Xml.instToStringContent._private_1 }