dex.html#type-t">TaintTraceElem.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span>
  (<a href="Make/argument-1-TaintTraceElem/index.html">TaintTraceElem</a> : <a href="../TaintTraceElem/module-type-S/index.html">TaintTraceElem.S</a>) : 
  <a href="module-type-S/index.html">S</a>
    <span class="keyword">with</s