<html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Dtd" rel="Chapter" href="Dtd.html"> <link title="Xml" rel="Chapter" href="Xml.html"> <link title="XmlParser" rel="Chapter" href="XmlParser.html"><title>Index of types</title> </head> <body> <center><h1>Index of types</h1></center> <table> <tr><td align="left"><br>C</td></tr> <tr><td><a href="Dtd.html#TYPEcheck_error">check_error</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEchecked">checked</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Dtd.html#TYPEdtd">dtd</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEdtd_attr_default">dtd_attr_default</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEdtd_attr_type">dtd_attr_type</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEdtd_child">dtd_child</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEdtd_element_type">dtd_element_type</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEdtd_item">dtd_item</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Xml.html#TYPEerror">error</a> [<a href="Xml.html">Xml</a>]</td> <td></td></tr> <tr><td><a href="Xml.html#TYPEerror_msg">error_msg</a> [<a href="Xml.html">Xml</a>]</td> <td></td></tr> <tr><td><a href="Xml.html#TYPEerror_pos">error_pos</a> [<a href="Xml.html">Xml</a>]</td> <td></td></tr> <tr><td align="left"><br>P</td></tr> <tr><td><a href="Dtd.html#TYPEparse_error">parse_error</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEparse_error_msg">parse_error_msg</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td><a href="Dtd.html#TYPEprove_error">prove_error</a> [<a href="Dtd.html">Dtd</a>]</td> <td></td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="XmlParser.html#TYPEsource">source</a> [<a href="XmlParser.html">XmlParser</a>]</td> <td><div class="info"> Several kind of resources can contain Xml documents. </div> </td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="XmlParser.html#TYPEt">t</a> [<a href="XmlParser.html">XmlParser</a>]</td> <td><div class="info"> Abstract type for an Xml parser. </div> </td></tr> <tr><td align="left"><br>X</td></tr> <tr><td><a href="Xml.html#TYPExml">xml</a> [<a href="Xml.html">Xml</a>]</td> <td><div class="info"> An Xml node is either <code class="code">Element (tag-name, attributes, children)</code> or <code class="code">PCData text</code> </div> </td></tr> </table><br> </body> </html>