mble"><h1>Module <code><span>Sources.Footprint</span></code></h1><p>Set of access paths representing the sources that may flow in from the caller</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-TraceDomain"><a href="#module-TraceDomain" class="anchor"></a><code><span><span class="keyword">module</span> <a href="TraceDomain/index.html">TraceDomain</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></d