ee evidence to the contrary (annotations, use of locks, etc.)</p><span class="comment-delim">*)</span></div></li><li id="type-t.AnyThreadButSelf" class="def variant constructor anchored"><a href="#type-t.AnyThreadButSelf" class="anchor"></a><code><span>| </span><span><span class="constructor">AnyThreadButSelf</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Current thread can run in parallel with other threads, but not with a copy of itself. (concretization : <code>{ t | t \i