<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="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Binable" rel="Chapter" href="Binable.html">
<link title="Nat0" rel="Chapter" href="Nat0.html">
<link title="Common" rel="Chapter" href="Common.html">
<link title="Unsafe_common" rel="Chapter" href="Unsafe_common.html">
<link title="Unsafe_write_c" rel="Chapter" href="Unsafe_write_c.html">
<link title="Unsafe_read_c" rel="Chapter" href="Unsafe_read_c.html">
<link title="Size" rel="Chapter" href="Size.html">
<link title="Write_ml" rel="Chapter" href="Write_ml.html">
<link title="Read_ml" rel="Chapter" href="Read_ml.html">
<link title="Write_c" rel="Chapter" href="Write_c.html">
<link title="Read_c" rel="Chapter" href="Read_c.html">
<link title="Std" rel="Chapter" href="Std.html">
<link title="Type_class" rel="Chapter" href="Type_class.html">
<link title="Map_to_safe" rel="Chapter" href="Map_to_safe.html">
<link title="Utils" rel="Chapter" href="Utils.html"><title>Index of exceptions</title>
</head>
<body>
<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a>
</div>
<h1>Index of exceptions</h1>
<table>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Common.html#EXCEPTIONBuffer_short">Buffer_short</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
Buffer too short for read/write operation
</div>
</td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Common.html#EXCEPTIONEmpty_type">Empty_type</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">EmptyType</code> gets raised when the user attempts to write or estimate
the size of a value of an empty type, which would not make sense.
</div>
</td></tr>
<tr><td><a href="Unsafe_read_c.html#EXCEPTIONError">Error</a> [<a href="Unsafe_read_c.html">Unsafe_read_c</a>]</td>
<td></td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Common.html#EXCEPTIONNo_variant_match">No_variant_match</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
Used internally for backtracking
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Common.html#EXCEPTIONPoly_rec_write">Poly_rec_write</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">PolyRecWrite type</code> gets raised when the user attempts to write or
estimate the size of a value of a type that is bound through a
polymorphic record field in type definition <code class="code">type</code>.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Common.html#EXCEPTIONRead_error">Read_error</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">ReadError (err, err_pos)</code>
</div>
</td></tr>
<tr><td><a href="Common.html#EXCEPTIONRead_exc">Read_exc</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">ReadExc (exn, err_pos)</code>
</div>
</td></tr>
</table>
</body>
</html>
