ype-path_pos">IR.PredSymb.path_pos</a></span></code></td></tr><tr id="type-inst.Itaint" class="anchored"><td class="def variant constructor"><a href="#type-inst.Itaint" class="anchor"></a><code><span>| </span><span><span class="constructor">Itaint</span></span></code></td></tr><tr id="type-inst.Iupdate" class="anchored"><td class="def variant constructor"><a href="#type-inst.Iupdate" class="anchor"></a><code><span>| </span><span><span class="constructor">Iupdate</span> <span class="keyword">of</span> <a hre