d></tr><tr id="type-t.TaintFlow" class="anchored"><td class="def variant constructor"><a href="#type-t.TaintFlow" class="anchor"></a><code><span>| </span><span><span class="constructor">TaintFlow</span> <span class="keyword">of</span> </span><span>{</span></code><table><tr id="type-t.expr" class="anchored"><td class="def record field"><a href="#type-t.expr" class="anchor"></a><code><span>expr : <a href="../PulseDecompilerExpr/index.html#type-t">DecompilerExpr.t</a>;</span></code></td></tr><tr id="type-t.sou