</span><ol id="linearization"><li class="in" name="provingground.learning.NodeCoeffs.RecCons"><span>RecCons</span></li><li class="in" name="java.io.Serializable"><span>Serializable</span></li><li class="in" name="scala.Product"><span>Product</span></li><li class="in" name="scala.Equals"><span>Equals</span></li><li class="in" name="provingground.learning.NodeCoeffs.Cons"><span>Cons</span></li><li class="in" name="provingground.learning.NodeCoeffs"><span>NodeCoeffs</span></li><li class="in" name="scala.AnyRef