ny</dd></dl></div></li><li class="indented0 " name="provingground.HoTT.AbsPair#apply" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="apply(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.HoTT.AbsPair[provingground.HoTT.Term,provingground.HoTT.Term]"></a><a id="apply(Term,Term):AbsPair[Term,Term]"></a> <span class="permalink"><a href="../provingground/HoTT$$AbsPair$.html#apply(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.HoTT.AbsPair[provingg