a href="#module-Domain" class="anchor"></a><code><span class="keyword">module</span> <a href="Domain/index.html">Domain</a> : <a href="../../AbstractDomain/index.html#module-type-NoJoin">AbstractDomain.NoJoin</a></code></div><dl><dt class="spec type" id="type-analysis_data"><a href="#type-analysis_data" class="anchor"></a><code><span class="keyword">type</span> analysis_data</code></dt></dl><dl><dt class="spec value" id="val-exec_instr"><a href="#val-exec_instr" class="anchor"></a><code><span class="keyword