./../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint__TaintTrace</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; 1-Spec</nav><h1>Parameter <code>Make.1-Spec</code></h1></header><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 hr