t.html" name="provingground.Context" id="provingground.Context" class="extype">Context</a></dd></dl></div></li><li class="indented0 " name="provingground.Context#assume" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="assume(tp:provingground.HoTT.Typ[provingground.HoTT.Term],text:String):provingground.Context.AppendConstant[provingground.HoTT.Term]"></a><a id="assume(Typ[Term],String):AppendConstant[Term]"></a> <span class="permalink"><a href="../provingground/Context$$AppendConsta