="anchor"></a><code><span class="keyword">module</span> <a href="Domain/index.html">Domain</a> : <a href="../../AbstractDomain/index.html#module-type-S">AbstractDomain.S</a></code></dt><dd><p>abstract domain whose state we propagate</p></dd></dl><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><dd><p>read-only extra state (results of previous analyses, globals, etc.)</p></dd></dl><dl><dt class=