/module-type-S/index.html">TaintTraceElem.S</a>) : 
  <a href="../Sink/module-type-S/index.html">Sink.S</a> <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="../Sink/module-type-S/Kind/index.html">Kind</a> = <a href="MakeSink/argument-1-TaintTraceElem/Kind/index.html">TaintTraceElem.Kind</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../Sink/module-type-S/index.html#type-t">t</a> = <a href="MakeSink/argument-1-TaintTraceElem/in