ef="#type-t.callee" class="anchor"></a><code><span>callee : <a href="../../../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</span></code></li><li id="type-t.shape_is_preserved" class="def record field anchored"><a href="#type-t.shape_is_preserved" class="anchor"></a><code><span>shape_is_preserved : bool;</span></code></li></ol><code><span>}</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Summarizes the effect of a procedure call</p><span class="comment-delim">*)</span></div>