rce" class="anchored"><td class="def record field"><a href="#type-t.source" class="anchor"></a><code><span>source : <a href="../PulseTaint/index.html#type-t">Taint.t</a> * <a href="../PulseValueHistory/index.html#type-t">ValueHistory.t</a>;</span></code></td></tr><tr id="type-t.sink" class="anchored"><td class="def record field"><a href="#type-t.sink" class="anchor"></a><code><span>sink : <a href="../PulseTaint/index.html#type-t">Taint.t</a> * <a href="../PulseTrace/index.html#type-t">Trace.t</a>;</span></c