<a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Nullsafe</a> &#x00BB; ProvisionalAnnotation</nav><header class="odoc-preamble"><h1>Module <code><span>Nullsafe.ProvisionalAnnotation</span></code></h1><p>Provisional annotation is an imaginary <code>@Nullable</code> annotation that is added to a class element. * (It implies the corresponding element is NOT annotated as <code>@Nullable</code> in the source code.) * The purpose of provisional annotation is to compute Nullability graph: what