d_constraint">scheduler_thread_constraint</a> option</span></code></dt><dd><p>given an executor receiver, get its thread constraint, if any. <code>None</code> means lookup somehow failed, whereas <code>Some UnknownThread</code> means the receiver is an unannotated executor.</p></dd></dl><dl><dt class="spec value" id="val-get_run_method_from_runnable"><a href="#val-get_run_method_from_runnable" class="anchor"></a><code><span class="keyword">val</span> get_run_method_from_runnable : <a href="../../IR/Tenv/ind