main/index.html#module-type-S">Absint.AbstractDomain.S</a></code></li><li><code><a href="argument-3-Domain3/index.html">Domain3</a> : <a href="../../../Absint/AbstractDomain/index.html#module-type-S">Absint.AbstractDomain.S</a></code></li></ul><h3 class="heading">Signature</h3><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.maybe_uninit_vars" class="anchored"><td clas