re><pre><span id="VALcolorFlag"><span class="keyword">val</span> colorFlag</span> : <code class="type">bool ref</code></pre><div class="info">
Set to true if you want error and warning messages to be colored<br>
</div>
<pre><span id="VALredEscStr"><span class="keyword">val</span> redEscStr</span> : <code class="type">string</code></pre><pre><span id="VALgreenEscStr"><span class="keyword">val</span> greenEscStr</span> : <code class="type">string</code></pre><pre><span id="VALyellowEscStr"><span class="keywor