"VALtrace"><span class="keyword">val</span> trace</span> : <code class="type">unit -> unit</code></pre>
<pre><span id="VALtimeStart"><span class="keyword">val</span> timeStart</span> : <code class="type">string -> unit</code></pre>
<pre><span id="VALtimeEnd"><span class="keyword">val</span> timeEnd</span> : <code class="type">string -> unit</code></pre></body></html>