ss="spec module" id="module-CriticalPairs"><a href="#module-CriticalPairs" class="anchor"></a><code><span class="keyword">module</span> CriticalPairs : <a href="../Absint/AbstractDomain/index.html#module-type-FiniteSetS">Absint.AbstractDomain.FiniteSetS</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../Absint/AbstractDomain/index.html#module-type-FiniteSetS">FiniteSetS</a>.elt = <a href="CriticalPair/index.html#type-t">CriticalPair.t</a></code></div><div class="spec module"