f="#type-zero_flag">zero_flag</a> * <a href="#type-null_case_flag">null_case_flag</a> * int * <a href="../../IR/PredSymb/index.html#type-path_pos">IR.PredSymb.path_pos</a></span></code></td></tr><tr id="type-inst.Ireturn_from_call" class="anchored"><td class="def variant constructor"><a href="#type-inst.Ireturn_from_call" class="anchor"></a><code><span>| </span><span><span class="constructor">Ireturn_from_call</span> <span class="keyword">of</span> int</span></code></td></tr></table></div><div class="spec-d