<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.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="Bindlib" rel="Chapter" href="Bindlib.html"><title>Index of types</title>
</head>
<body>
<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
&nbsp;</div>
<h1>Index of types</h1>
<table>
<tr><td align="left"><div>B</div></td></tr>
<tr><td><a href="Bindlib.html#TYPEbinder">binder</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of a binder for an element of type <code class="code">'a</code> into an element of type <code class="code">'b</code>.</p>

</div>
</td></tr>
<tr><td><a href="Bindlib.html#TYPEbox">box</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of a term of type <code class="code">'a</code> under construction.</p>

</div>
</td></tr>
<tr><td align="left"><div>C</div></td></tr>
<tr><td><a href="Bindlib.html#TYPEctxt">ctxt</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of a context.</p>

</div>
</td></tr>
<tr><td align="left"><div>M</div></td></tr>
<tr><td><a href="Bindlib.html#TYPEmbinder">mbinder</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of a binder for an array of elements of type <code class="code">'a</code> into an element  of
    type <code class="code">'b</code>.</p>

</div>
</td></tr>
<tr><td><a href="Bindlib.html#TYPEmvar">mvar</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of an array of variables of type <code class="code">'a</code>.</p>

</div>
</td></tr>
<tr><td align="left"><div>T</div></td></tr>
<tr><td><a href="Bindlib.Map2.html#TYPEt">t</a> [<a href="Bindlib.Map2.html">Bindlib.Map2</a>]</td>
<td></td></tr>
<tr><td><a href="Bindlib.Map.html#TYPEt">t</a> [<a href="Bindlib.Map.html">Bindlib.Map</a>]</td>
<td></td></tr>
<tr><td align="left"><div>V</div></td></tr>
<tr><td><a href="Bindlib.html#TYPEvar">var</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Type of a free variable of type <code class="code">'a</code>.</p>

</div>
</td></tr>
</table>
</body>
</html>
