pan> <span><span class="keyword">module</span> <a href="module-type-S/Source/index.html">Source</a> = <a href="../Source/Dummy/index.html">Source.Dummy</a></span>
     <span class="keyword">and</span> <span><span class="keyword">module</span> <a href="module-type-S/Sink/index.html">Sink</a> = <a href="MakeSink/index.html">MakeSink(TaintTraceElem)</a></span></span></code></div></div></div></body></html>