../../index.html">infer</a> &#x00BB; <a href="../index.html">Absint__AbstractDomain</a> &#x00BB; MinReprSet</nav><h1>Module <code>Absint__AbstractDomain.MinReprSet</code></h1><p>Abstracts a set of <code>Element</code>s by keeping its smallest representative only. The widening is terminating only if the order fulfills the descending chain condition.</p></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Element/index.html">Element</a> : <a href="../../IStdlib/PrettyPrintable/index.h