de>.<br>
</div>

<pre><span id="VALcheck_solution"><span class="keyword">val</span> check_solution</span> : <code class="type"><a href="OpamState.html#TYPEstate">OpamState.state</a> -> <a href="OpamTypes.html#TYPEsolver_result">OpamTypes.solver_result</a> -> unit</code></pre><div class="info ">
Raise an error if no solution is found or in case of error.<br>
</div>
<br>
<h2 id="2_Atoms">Atoms</h2><br>

<pre><span id="VALeq_atom"><span class="keyword">val</span> eq_atom</span> : <code class="type"><a href="Op