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