# Documentation

Lean.Data.Xml.Parser

@[inline]
Equations

consume a newline character sequence pretending, that we read '\n'. As per spec: https://www.w3.org/TR/xml/#sec-line-ends

Equations
• One or more equations did not get rendered due to their size.
def Lean.Xml.Parser.quote {α : Type} (p : ) :
Equations
• One or more equations did not get rendered due to their size.

https://www.w3.org/TR/xml/#NT-Char

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

https://www.w3.org/TR/xml/#NT-S

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

https://www.w3.org/TR/xml/#NT-Eq

Equations

https://www.w3.org/TR/xml/#NT-NameStartChar

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

https://www.w3.org/TR/xml/#NT-NameChar

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

https://www.w3.org/TR/xml/#NT-Name

Equations

https://www.w3.org/TR/xml/#NT-VersionNum

Equations

https://www.w3.org/TR/xml/#NT-VersionInfo

Equations

https://www.w3.org/TR/xml/#NT-EncName

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

https://www.w3.org/TR/xml/#NT-EncodingDecl

Equations

https://www.w3.org/TR/xml/#NT-SDDecl

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

https://www.w3.org/TR/xml/#NT-XMLDecl

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

https://www.w3.org/TR/xml/#NT-Comment

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

https://www.w3.org/TR/xml/#NT-PITarget

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

https://www.w3.org/TR/xml/#NT-PI

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

https://www.w3.org/TR/xml/#NT-Misc

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

https://www.w3.org/TR/xml/#NT-SystemLiteral

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

https://www.w3.org/TR/xml/#NT-PubidChar

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

https://www.w3.org/TR/xml/#NT-PubidLiteral

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

https://www.w3.org/TR/xml/#NT-ExternalID

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

https://www.w3.org/TR/xml/#NT-Mixed

Equations
• One or more equations did not get rendered due to their size.
partial def Lean.Xml.Parser.cp :

https://www.w3.org/TR/xml/#NT-cp

https://www.w3.org/TR/xml/#NT-choice

partial def Lean.Xml.Parser.seq :

https://www.w3.org/TR/xml/#NT-seq

https://www.w3.org/TR/xml/#NT-children

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

https://www.w3.org/TR/xml/#NT-contentspec

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

https://www.w3.org/TR/xml/#NT-elementdecl

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

https://www.w3.org/TR/xml/#NT-StringType

Equations

https://www.w3.org/TR/xml/#NT-TokenizedType

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

https://www.w3.org/TR/xml/#NT-NotationType

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

https://www.w3.org/TR/xml/#NT-Nmtoken

Equations

https://www.w3.org/TR/xml/#NT-Enumeration

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

https://www.w3.org/TR/xml/#NT-EnumeratedType

Equations

https://www.w3.org/TR/xml/#NT-AttType

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

https://www.w3.org/TR/xml/#NT-EntityRef

Equations
• One or more equations did not get rendered due to their size.
@[inline]
Equations
• One or more equations did not get rendered due to their size.
def Lean.Xml.Parser.digitsToNat (base : Nat) (digits : ) :
Equations

https://www.w3.org/TR/xml/#NT-CharRef

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

https://www.w3.org/TR/xml/#NT-Reference

Equations

https://www.w3.org/TR/xml/#NT-AttValue

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

https://www.w3.org/TR/xml/#NT-DefaultDecl

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

https://www.w3.org/TR/xml/#NT-AttDef

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

https://www.w3.org/TR/xml/#NT-AttlistDecl

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

https://www.w3.org/TR/xml/#NT-PEReference

Equations

https://www.w3.org/TR/xml/#NT-EntityValue

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

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

https://www.w3.org/TR/xml/#NT-EntityDef

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

https://www.w3.org/TR/xml/#NT-GEDecl

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

https://www.w3.org/TR/xml/#NT-PEDef

Equations

https://www.w3.org/TR/xml/#NT-PEDecl

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

https://www.w3.org/TR/xml/#NT-EntityDecl

Equations

https://www.w3.org/TR/xml/#NT-PublicID

Equations

https://www.w3.org/TR/xml/#NT-NotationDecl

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

https://www.w3.org/TR/xml/#NT-markupdecl

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

https://www.w3.org/TR/xml/#NT-DeclSep

Equations

https://www.w3.org/TR/xml/#NT-intSubset

Equations

https://www.w3.org/TR/xml/#NT-doctypedecl

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

https://www.w3.org/TR/xml/#NT-prolog

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

https://www.w3.org/TR/xml/#NT-Attribute

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

https://www.w3.org/TR/xml/#NT-EmptyElemTag

Equations

https://www.w3.org/TR/xml/#NT-STag

Equations

https://www.w3.org/TR/xml/#NT-ETag

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

https://www.w3.org/TR/xml/#NT-CDStart

Equations

https://www.w3.org/TR/xml/#NT-CDEnd

Equations

https://www.w3.org/TR/xml/#NT-CData

Equations

https://www.w3.org/TR/xml/#NT-CDSect

Equations

https://www.w3.org/TR/xml/#NT-CharData

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

https://www.w3.org/TR/xml/#NT-content

https://www.w3.org/TR/xml/#NT-element

https://www.w3.org/TR/xml/#NT-document

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