eyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Exited"><a href="#module-Exited" class="anchor"></a><code><span class="keyword">module</span> Exited = <a href="../Absint/AbstractDomain/index.html#module-BooleanOr">Absint.AbstractDomain.BooleanOr</a></code></div><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.modi