� <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Concurrency__StarvationDomain</a> &#x00BB; ThreadDomain</nav><h1>Module <code>Concurrency__StarvationDomain.ThreadDomain</code></h1><p>Domain for thread-type. The main goals are</p><ul><li>Track code paths that are explicitly on UI/BG thread (via annotations, or assertions).</li><li>Maintain UI/BG-thread-ness through the call stack (if a caller is of unknown status and callee is on UI/BG thread then caller must be on the UI/BG thread to