---++ Summary

Converts an XML document to a comparable ATerm.

---++ Description

See the description of [[ATermToXml][aterm2xml]].