w">&#45;&gt;</span></span>
  <span>unit <span class="arrow">&#45;&gt;</span></span>
  unit;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>update the <code>Summary.Stats.t</code> of the summary of the current procedure</p><span class="comment-delim">*)</span></td></tr></table><code><span>}</span></code></div><div class="spec-doc"><p>Analysis data for interprocedural analysis. This is the data for one procedure under analysis, and callbacks to analyze dependencies of it as well