h="100%">
<pre><span id="VALlogChannel"><span class="keyword">val</span> logChannel</span> : <code class="type">out_channel ref</code></pre><div class="info">
A channel for printing log messages<br>
</div>
<pre><span id="VALdebugFlag"><span class="keyword">val</span> debugFlag</span> : <code class="type">bool ref</code></pre><div class="info">
If set then print debugging info<br>
</div>
<pre><span id="VALverboseFlag"><span class="keyword">val</span> verboseFlag</span> : <code class="type">bool ref</code></p