def Lean.Xml.Attributes : Type

instance Lean.Xml.instToStringAttributes : ToString Lean.Xml.Attributes

inductive Lean.Xml.Element : Type

• Element: String → Lean.Xml.Attributes → Array Lean.Xml.Content → Lean.Xml.Element

inductive Lean.Xml.Content : Type

• Element: Lean.Xml.Element → Lean.Xml.Content
• Comment: String → Lean.Xml.Content
• Character: String → Lean.Xml.Content

instance Lean.Xml.instInhabitedContent : Inhabited Lean.Xml.Content

instance Lean.Xml.instToStringElement : ToString Lean.Xml.Element

instance Lean.Xml.instToStringContent : ToString Lean.Xml.Content