G"><a href="#module-CFG" class="anchor"></a><code><span class="keyword">module</span> CFG = <a href="index.html#argument-1-CFG">CFG</a></code></div><div class="spec module" id="module-Domain"><a href="#module-Domain" class="anchor"></a><code><span class="keyword">module</span> Domain = <a href="../index.html#module-Domain">Domain</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><code