Xml

xml_parser : Parser(Utf8, Xml)

Attribute : { name : Str, value : Str }

Encoding

:= [Utf8Encoding, OtherEncoding(Str)]

Declaration : { version : Version, encoding : [Given(Encoding), Missing] }

Version

new : U8 -> Version

is_eq : Version, Version -> Bool

Node

:= [Element(Str, List({ name : Str, value : Str }), List(Node)), Text(Str)]