anchor"></a><code><span>threads : <a href="ThreadsDomain/index.html#type-t">ThreadsDomain.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>current thread: main, background, or unknown</p><span class="comment-delim">*)</span></td></tr><tr id="type-t.locks" class="anchored"><td class="def record field"><a href="#type-t.locks" class="anchor"></a><code><span>locks : <a href="LockDomain/index.html#type-t">LockDomain.t</a>;</span></code></td><td class="def-doc"><span class="com