ontext.AppendConstant" class="extype">AppendConstant</a>[<span name="provingground.Context.AppendConstant.U" class="extype">U</span> with <a href="HoTT$$Subs.html" name="provingground.HoTT.Subs" id="provingground.HoTT.Subs" class="extype">Subs</a>[<span name="provingground.Context.AppendConstant.U" class="extype">U</span>]]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.Context.AppendConstant" id="provingground.Context.AppendC