*</span><p>still fairly lightweight, eg emitted O(&lt;number of infer processes&gt;)</p><span class="comment-delim">*)</span></div></li><li id="type-debug_level.Verbose" class="def variant constructor anchored"><a href="#type-debug_level.Verbose" class="anchor"></a><code><span>| </span><span><span class="constructor">Verbose</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>go crazy</p><span class="comment-delim">*)</span></div></li></ol></div><div class="spec-doc"><p>Level of