./index.html">infer</a> &#x00BB; <a href="../index.html">Nullsafe</a> &#x00BB; EradicateChecks</nav><h1>Module <code>Nullsafe.EradicateChecks</code></h1></header><aside><p>Module for the checks called by Eradicate.</p></aside><div class="spec module" id="module-L"><a href="#module-L" class="anchor"></a><code><span class="keyword">module</span> L = <a href="../../IBase/index.html#module-Logging">IBase.Logging</a></code></div><dl><dt class="spec value" id="val-explain_expr"><a href="#val-explain_expr" class="