anchor"></a><code><span>var_state : <a href="VarDomain/index.html#type-t">VarDomain.t</a>;</span></code></td></tr><tr id="type-t.null_locs" class="anchored"><td class="def record field"><a href="#type-t.null_locs" class="anchor"></a><code><span>null_locs : <a href="NullLocs/index.html#type-t">NullLocs.t</a>;</span></code></td></tr><tr id="type-t.lazily_initalized" class="anchored"><td class="def record field"><a href="#type-t.lazily_initalized" class="anchor"></a><code><span>lazily_initalized : <a href="Laz