tr>
<tr><td align="left"><div>L</div></td></tr>
<tr><td><a href="Bindlib.Lift.html">Lift</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<td><div class="info">
<p>Functorial interface used to build lifting functions (i.e., functions that
    permute the <code class="code">'a bindbox</code> type with another type constructor) for any  type
    equipped with a <code class="code">map</code> function.</p>

</div>
</td></tr>
<tr><td><a href="Bindlib.Lift2.html">Lift2</a> [<a href="Bindlib.html">Bindlib</a>]</td>
<