xt.html" name="provingground.Context" id="provingground.Context" class="extype">Context</a></span>, <span name="constant">constant: <span name="provingground.Context.AppendConstant.U" class="extype">U</span></span>)</span><span class="result"> extends <a href="Context.html" name="provingground.Context" id="provingground.Context" class="extype">Context</a> with <span name="scala.Product" class="extype">Product</span> with <a href="../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializabl