. <span class="keyword">end</span></code></dt><dd><p>Tracks expression attributes</p></dd></dl><dl><dt class="spec module" id="module-AttributeDomain"><a href="#module-AttributeDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="AttributeDomain/index.html">AttributeDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Tracks all expressions assigned values of <code>Attribute</code></p></dd></dl><dl><dt class="spec module" id="module-Sc