ped.Cons.S" class="extype">S</span>]</span>)</span><span class="result"> extends <a href="Scoped.html" name="provingground.translation.Scoped" id="provingground.translation.Scoped" class="extype">Scoped</a>[<span name="provingground.translation.Scoped.Cons.S" class="extype">S</span>] with <span name="scala.Product" class="extype">Product</span> with <a href="../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></spa