pan> = </span><span>{</span></code><table><tr id="type-summary.threads" class="anchored"><td class="def record field"><a href="#type-summary.threads" class="anchor"></a><code><span>threads : <a href="ThreadsDomain/index.html#type-t">ThreadsDomain.t</a>;</span></code></td></tr><tr id="type-summary.locks" class="anchored"><td class="def record field"><a href="#type-summary.locks" class="anchor"></a><code><span>locks : <a href="LockDomain/index.html#type-t">LockDomain.t</a>;</span></code></td></tr><tr id="type