="anchor"></a><code><span><span class="keyword">val</span> execute_with_time_logging : <span>string <span class="arrow">&#45;&gt;</span></span> <span><span>( <span>unit <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span> )</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span></span></code></div><div class="spec-doc"><p>A helper to log execution time of a particular function. Use this to measure a performance of a given function. Example:</p><pre><code>l