>libabsolute</a> &#x00BB; <a href="../index.html">Libabsolute__</a> &#x00BB; Dom</nav><h1>Module <code>Libabsolute__.Dom</code></h1><nav class="toc"><ul><li><a href="#constructors">Constructors</a></li><li><a href="#predicates">Predicates</a></li><li><a href="#operations">Operations</a></li><li><a href="#printing">Printing</a></li></ul></nav></header><aside><p>This module defines the different kinds of definition domains of variables</p></aside><dl><dt class="spec type" id="type-t"><a href="#type-t" class="