ment-delim">(*</span><p>boolean that is true if a lock must currently be held</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.never_returns" class="anchored"><td class="def record field"><a href="#type-t.never_returns" class="anchor"></a><code><span>never_returns : <a href="NeverReturns/index.html#type-t">NeverReturns.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>boolean which is true if a <code>noreturn</code> call is always reached</p><span class="co