href="../../../../../Absint/TaintTrace/index.html#module-type-Spec">Absint.TaintTrace.Spec</a></code></span></summary><div class="spec module" id="module-Source"><a href="#module-Source" class="anchor"></a><code><span class="keyword">module</span> <a href="Source/index.html">Source</a> : <a href="../../../../../Absint/Source/index.html#module-type-S">Absint.Source.S</a></code></div><div class="spec module" id="module-Sink"><a href="#module-Sink" class="anchor"></a><code><span class="keyword">module</span> <