f</a></code></pre>
<pre><span id="VALdump_live"><span class="keyword">val</span> dump_live</span> : <code class="type">bool <a href="Pervasives.html#TYPEref">ref</a></code></pre>
<pre><span id="VALdump_avail"><span class="keyword">val</span> dump_avail</span> : <code class="type">bool <a href="Pervasives.html#TYPEref">ref</a></code></pre>
<pre><span id="VALdebug_runavail"><span class="keyword">val</span> debug_runavail</span> : <code class="type">bool <a href="Pervasives.html#TYPEref">ref</a></code></pre>
<