">Up</a> â€“ <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Concurrency</a> &#x00BB; <a href="../index.html">StarvationDomain</a> &#x00BB; Lock</nav><header class="odoc-preamble"><h1>Module <code><span>StarvationDomain.Lock</span></code></h1><p>Abstract address for a lock. There are two notions of equality:</p><ul><li>Equality for comparing two addresses within the same thread/process/trace. Under this, identical globals and identical class objects compare equal. Locks repr