-CFG" class="anchor"></a><code><span class="keyword">module</span> <a href="CFG/index.html">CFG</a> : <a href="../../../../ProcCfg/index.html#module-type-S">ProcCfg.S</a></code></div><dl><dt class="spec module" id="module-Domain"><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-S">AbstractDomain.S</a></code></dt><dd><p>abstract domain whose state we propagate</p></dd></dl>