state</a> -> <a href="OpamTypes.html#TYPEatom">OpamTypes.atom</a> list -> unit</code></pre>
<pre><span id="VALsum"><span class="keyword">val</span> sum</span> : <code class="type"><a href="OpamTypes.html#TYPEstats">OpamTypes.stats</a> -> int</code></pre><div class="info ">
<h2 id="2_Stats">Stats</h2><br>
</div>
</body></html>