f="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">AbstractDomain</a> &#x00BB; TopLifted</nav><h1>Module <code>AbstractDomain.TopLifted</code></h1><p>Create a domain with Top element from a pre-domain</p></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Domain/index.html">Domain</a> : <a href="../index.html#module-type-S">S</a></code></li></ul><h3 class="heading">Signature</h3><div><div class="spec include"><div class