.html">libabsolute</a> &#x00BB; <a href="../index.html">Libabsolute__</a> &#x00BB; Solver</nav><h1>Module <code>Libabsolute__.Solver</code></h1></header><aside><p>Functor parametrized by an abstract domain and defines the three main solving functions</p></aside><div class="spec module" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span class="keyword">module</span> <a href="Make/index.html">Make</a> : <span class="keyword">functor</span> (<a href="Make/argument-1-D/index.html">D</a> : <a