ing.NodeCoeffs.Cons" id="provingground.learning.NodeCoeffs.Cons" class="extype">Cons</a> → <a href="NodeCoeffs.html" name="provingground.learning.NodeCoeffs" id="provingground.learning.NodeCoeffs" class="extype">NodeCoeffs</a></dd></dl></div></li><li class="indented0 " name="provingground.learning.NodeCoeffs.RecCons#headCoeff" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="headCoeff:V"></a> <span class="permalink"><a href="../../provingground/learning/NodeCoeffs$$RecCons.html#he