-t.skipped_calls" class="anchor"></a><code><span>skipped_calls : <a href="../PulseSkippedCalls/index.html#type-t">PulseBasicInterface.SkippedCalls.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>metadata: procedure calls for which no summary was found</p><span class="comment-delim">*)</span></td></tr></table><code><span>}</span></code></div><div class="spec-doc"><p>pre/post on a single program path</p></div></div><div class="odoc-include"><details open="open"><summary cl