tic.reason list)<br>       <a href="OpamTypes.html#TYPEresult">OpamTypes.result</a></code></pre><div class="info">
Optimized resolution<br>
</div>
<br>
<h2 id="2_InternalAPI">Internal API</h2><br>
<br>
These functions can be used independently of OPAM, so we document
    them here. It is not expected than any other file in OPAM use them,
    though.<br>
<pre><span id="TYPEstate"><span class="keyword">type</span> <code class="type">'a</code> state</span> = <code class="type">'a list</code> </pre>
<div class=