ecCons.State" class="extype">State</span>, <span name="provingground.learning.NodeCoeffs.RecCons.Y" class="extype">Y</span>]</span>, <span name="headCoeff">headCoeff: <span name="provingground.learning.NodeCoeffs.RecCons.V" class="extype">V</span></span>, <span name="tail">tail: <a href="NodeCoeffs.html" name="provingground.learning.NodeCoeffs" id="provingground.learning.NodeCoeffs" class="extype">NodeCoeffs</a>[<span name="provingground.learning.NodeCoeffs.RecCons.State" class="extype">State</span>, <span 