ass="spec type" id="type-degree_with_term"><a href="#type-degree_with_term" class="anchor"></a><code><span class="keyword">type</span> degree_with_term</code><code> = <span><span>(<a href="../UnreachableTraces/index.html#type-t">UnreachableTraces.t</a>, <a href="../Degree/index.html#type-t">Degree.t</a> * <a href="../NonNegativeNonTopPolynomial/index.html#type-t">NonNegativeNonTopPolynomial.t</a>, <a href="../TopTraces/index.html#type-t">TopTraces.t</a>)</span> <a href="../../../Absint/AbstractDomain/Type