ored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span></code><ol><li id="type-t.NoThread" class="def variant constructor anchored"><a href="#type-t.NoThread" class="anchor"></a><code><span>| </span><span><span class="constructor">NoThread</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>No threads can run in parallel with the current thread (concretization: empty set). We assume this by default unless we s