Lreset"><span class="keyword">val</span> reset</span> : <code class="type">unit -&gt; unit</code></pre><div class="info ">
erase all recorded times<br>
</div>

<pre><span id="VALget"><span class="keyword">val</span> get</span> : <code class="type"><a href="Timings.html#TYPEcompiler_pass">compiler_pass</a> -&gt; float option</code></pre><div class="info ">
returns the runtime in seconds of a completed pass<br>
</div>

<pre><span id="VALtime"><span class="keyword">val</span> time</span> : <code class="type"><