/../IR/Procdesc/index.html#type-t">IR.Procdesc.t</a> <span>&#45;&gt;</span> <span><a href="TransferFunctions/Domain/index.html#type-t">TransferFunctions.Domain.t</a> option</span></code></dt><dd><p>compute and return the postcondition for the given <span class="xref-unresolved" title="unresolved reference to &quot;Procdesc.t&quot;"><code>Procdesc</code>.t</span> starting from <code>initial</code>. <code>pp_instr</code> is used for the debug HTML and passed as a hook to handle both SIL and HIL CFGs.</p></dd>