oTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]</span>, <span name="text">text: <span name="scala.Predef.String" class="extype">String</span> = <span class="symbol">"assumption"</span></span>)</span><span class="result">: <a href="" name="provingground.Context.AppendConstant" id="provingground.Context.AppendConstant" class="extype">AppendConstant</a>[<a href="HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term<