 href="#type-summary" class="anchor"></a><code><span class="keyword">type</span> summary</code><code> = </code><code>{</code><table class="record"><tr id="type-summary.critical_pairs" class="anchored"><td class="def field"><a href="#type-summary.critical_pairs" class="anchor"></a><code>critical_pairs : <a href="index.html#module-CriticalPairs">CriticalPairs</a>.t;</code></td></tr><tr id="type-summary.thread" class="anchored"><td class="def field"><a href="#type-summary.thread" class="anchor"></a><code>threa