��“ <a href="../index.html">infer</a> &#x00BB; Checkers__NullabilityPreanalysis</nav><h1>Module <code>Checkers__NullabilityPreanalysis</code></h1><p>Module that define preanalysis to derive nullability annotations</p></header><dl><dt class="spec value" id="val-analysis"><a href="#val-analysis" class="anchor"></a><code><span class="keyword">val</span> analysis : <a href="../IR/Cfg/index.html#type-t">IR.Cfg.t</a> <span>&#45;&gt;</span> <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</sp