lass="anchor"></a><code><span>critical_pairs : <a href="CriticalPairs/index.html#type-t">CriticalPairs.t</a>;</span></code></td></tr><tr id="type-summary.thread" class="anchored"><td class="def record field"><a href="#type-summary.thread" class="anchor"></a><code><span>thread : <a href="ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</span></code></td></tr><tr id="type-summary.scheduled_work" class="anchored"><td class="def record field"><a href="#type-summary.scheduled_work" class="anchor"></a><code><s