pan> <span>&#45;&gt;</span> <a href="index.html#type-err_instance">err_instance</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>Is a given issue reportable to the user in a given mode?</p></dd></dl><dl><dt class="spec value" id="val-reset"><a href="#val-reset" class="anchor"></a><code><span class="keyword">val</span> reset : unit <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-get_errors"><a href="#val-get_errors" class="anchor"></a><code><span class="keyword">val</span> get_errors :