<div class="odoc-content"><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <a href="../../../../AbstractDomain/module-type-Comparable/index.html">AbstractDomain.Comparable</a>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../../../AbstractDomain/module-type-Comparable/index.html#type-t">t</a> = <span><a href="../../argument-1-T/DisjDomain/index.html#type-t">T.DisjDomain.t</a> list</span> * 