n TIDs &amp;&amp; t != t_cur }</code>)</p><span class="comment-delim">*)</span></div></li><li id="type-t.AnyThread" class="def variant constructor anchored"><a href="#type-t.AnyThread" class="anchor"></a><code><span>| </span><span><span class="constructor">AnyThread</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Current thread can run in parallel with any thread, including itself (concretization: set of all TIDs )</p><span class="comment-delim">*)</span></div></li></ol></di