The GenericXMLTree structure

The GenericXMLTree structure provides a generic representation of XML trees where elements and attribute names are represented as Atom.atom values.

Synopsis

structure GenericXMLTree : XML_TREE
    where type Schema.element = Atom.atom
    where type Scheme.attribute = Atom.atom * string

See Also

XML_SCHEMA, XML_TREE, The XML Library