nd.HoTT.PairTerm[provingground.HoTT.Term,provingground.HoTT.Term],provingground.HoTT.Term]]]"></a><a id="proj2:FuncLike[Typ[Term],FuncLike[Typ[Term],Func[PairTerm[Term,Term],Term]]]"></a> <span class="permalink"><a href="../provingground/HoTT$$ProdTyp$.html#proj2:provingground.HoTT.FuncLike[provingground.HoTT.Typ[provingground.HoTT.Term],provingground.HoTT.FuncLike[provingground.HoTT.Typ[provingground.HoTT.Term],provingground.HoTT.Func[provingground.HoTT.PairTerm[provingground.HoTT.Term,provingground.HoTT.T