a href="#type-t.skipped_calls" class="anchor"></a><code>skipped_calls : <a href="../Pulselib/PulseSkippedCalls/index.html#type-t">Pulselib.PulseSkippedCalls.t</a>;</code></td></tr><tr id="type-t.exited" class="anchored"><td class="def field"><a href="#type-t.exited" class="anchor"></a><code>exited : <a href="../Absint__AbstractDomain/BooleanOr/index.html#type-t">Exited.t</a>;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-pure"><a href="#val-pure" class="anchor"></a><code